{"entities":{"Q4508261":{"pageid":6537854,"ns":120,"title":"Item:Q4508261","lastrevid":39823557,"modified":"2025-01-27T17:56:13Z","type":"item","id":"Q4508261","labels":{"en":{"language":"en","value":"On fixed-point logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512478"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$F7F1CAD0-EF1D-4D5E-9804-C05950C72733","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40e8b8bae0b39ff1609a40adc5cc1dbe511d8fbc","datavalue":{"value":{"text":"On fixed-point logic with counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4508261$46F9CF07-1F75-455A-994F-C283B2B17423","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b1bea1776b83ce5bb9fe222b8589cda2bebc886","datavalue":{"value":"0960.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$BC543A65-0F34-4804-A0D8-E26FD99832D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd44e1962ec051236c057a1a830ce4043ac31bdb","datavalue":{"value":"10.2307/2586569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$151FDDAE-C10E-40C1-8F2E-2A3D55A03287","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$1412B88E-C6FB-4D75-8861-C646CDA1DB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$6A242E00-E89F-42E6-AA50-A920EBFC3882","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$6A1BE037-229D-4CD4-9A7E-A36E01FE86CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821776895b8ae7b21a7c293e945d21240df81371","datavalue":{"value":{"time":"+2001-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508261$A8A9C18D-EAC1-4676-9FBC-50BA6B9C297B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$B9771B66-01AB-4950-A203-10B43586B96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$B4E4116C-C095-4BEC-99BE-EF936184B6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$05B9E53B-B746-486B-AE31-BB0854F290C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$C5D29F6E-B6BC-4445-BDF5-454C2B162227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"569756dc1168792901884911b9cc961d5ed8860e","datavalue":{"value":"1512478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$E5445CF8-0727-4CA6-9E32-D40516FD7CB1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508261$D80683F1-5C13-4662-9131-00E08E87D322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508261$C2E62D1A-6FE5-4E3F-9118-96311923183E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508261$EDE91E11-31B4-4F03-AF81-C140D627AAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c4a2aef9a237ff4c1b489b607b734dd4cffc2f","datavalue":{"value":"fixed-point","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508261$8CBEADD8-35A8-4F57-B1B4-F9F2ACDE6812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0247b874eb425bf4a57b52e0fba1df88df16a5","datavalue":{"value":"inflationary fixed-point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508261$56D7DFC1-6148-4C1C-8D30-106FFA8445F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4021a5305187ae6dd420a3d222c45ab6b651e2a2","datavalue":{"value":"counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508261$2CC44A2A-B94C-4D6B-B230-080EA64B43F7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$3BBA0687-6CCF-49AD-849E-633AB7B0182F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04bda56c0c503c73d87b8ffcd339b54b9b94ab37","datavalue":{"value":"https://doi.org/10.2307/2586569","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508261$28219A0F-3ADF-4F4B-BBC8-B22885EE1654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15724c7f7bdcbb67685c45bfc1da0bf6131ad83a","datavalue":{"value":"W2092961415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508261$C372591E-AB48-4BD7-99D7-D3A3CF7C2D83","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$41DE181B-9D63-4894-9579-E5214C77119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19525a32770bc0161d21fb40f62cd8531fc10179","datavalue":{"value":{"entity-type":"item","numeric-id":4763536,"id":"Q4763536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$9802FEB6-0A33-47D1-B548-F664C681CE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$B24BC7B7-3505-4BA3-BE48-526BB860344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b978fc5f442cc29d1a51f35c37ee5878e0c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$3AADE2B1-EC1F-4527-BA0C-4C60B476F98F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$C38C39A0-7F2A-411A-84F7-3B4CC0321F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508261$D7284C65-0312-472D-9761-564FAB0E75D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5449d23acd92310c99e31994617633fbe5e5a66","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"578f7efa957f6b3490530a02808168b203f60fe8","datavalue":{"value":{"amount":"+0.80020076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$AC8AF258-D3B2-4CD5-B4C4-59E20D1A9A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fc6531fad47a9b7c43f6e632d7db545569f604","datavalue":{"value":{"entity-type":"item","numeric-id":4779654,"id":"Q4779654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b8cb4a2dccaeb591bbf041de303f2781591186","datavalue":{"value":{"amount":"+0.78900254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$153F6F6E-4453-4682-BB84-6BA75E976DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caa17d2f477b422932ddc932ee2f4a97271c305b","datavalue":{"value":{"entity-type":"item","numeric-id":3608406,"id":"Q3608406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a211453c6fe14cf9e0386430657f3a6329256c","datavalue":{"value":{"amount":"+0.7858672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$1740A922-4DBB-4A5A-A48E-75699AC3E032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc7b13a6a8d064b4ea1edf15b6f5a6a8907067d","datavalue":{"value":{"entity-type":"item","numeric-id":3460527,"id":"Q3460527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5a1adaf1dbef3268887c6edeb46740cc52e0bc","datavalue":{"value":{"amount":"+0.78154147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$CFAD4A66-EFAF-4903-87DC-E4FC2AF1C421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15769970d02960fc833e12faf567aa7446ea94f6","datavalue":{"value":{"entity-type":"item","numeric-id":5483318,"id":"Q5483318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28383593dcae177c10c04ae04dd83f4ef2096643","datavalue":{"value":{"amount":"+0.77671874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$49E3863C-E965-41D2-84DE-03FE64947B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ef92ceabbf62ee59922947cf157e49ac9481a5","datavalue":{"value":{"entity-type":"item","numeric-id":3586010,"id":"Q3586010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dd952413ef462ee240a4224e2ef2e986af9a0d","datavalue":{"value":{"amount":"+0.7739154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$88FF5A5E-5F9D-4889-80B6-007B89C68954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55958dec6f04d280060ce2e215ec95eb1d6a1292","datavalue":{"value":{"entity-type":"item","numeric-id":4635661,"id":"Q4635661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b9347a55465dbf455e7986a114b788bcd108a2","datavalue":{"value":{"amount":"+0.77287346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$0694C2DB-548B-41DA-8979-B92B63029AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4579a82a26c45d51999ec7679a238630cc4c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2567347,"id":"Q2567347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2790685a625aa1b4d3714d7c4b6e11c8f6ba7e","datavalue":{"value":{"amount":"+0.7695931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$FFC946D1-19BE-4D9A-A78D-3275C19CEFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6c6fc887914ae1d0c949750c3f6458e7a777d9","datavalue":{"value":{"entity-type":"item","numeric-id":1817218,"id":"Q1817218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb25e823721ddda454fca974eed3d8c1b35fd34","datavalue":{"value":{"amount":"+0.7658106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$8437C971-EA2C-4946-80CD-729372A7C76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9679115ba636b3ec4a5facdf0052427e766d5e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1854332,"id":"Q1854332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4015fc26660872b0820e8f02de0445d5d1cf36e","datavalue":{"value":{"amount":"+0.76441574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4508261$51014AAF-87CE-4073-BE1B-3B796BE21185","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4508261"}}}}}