{"entities":{"Q3452257":{"pageid":5227918,"ns":120,"title":"Item:Q3452257","lastrevid":46478931,"modified":"2025-12-24T21:20:41Z","type":"item","id":"Q3452257","labels":{"en":{"language":"en","value":"A logic you can count on"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507262"}},"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":"Q3452257$DB76962A-4959-4077-A555-2E9DFCFCA758","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b087b9487d8f9bf28091d05aa95296ad46b249eb","datavalue":{"value":{"text":"A logic you can count on","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452257$6B254391-A20D-4143-BCCA-0B4B2E5676B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48794976ff03b3f4a6abf67efba1793f17455170","datavalue":{"value":"1325.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$D32E70B6-DE0F-4135-8008-23A522D19034","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32a5ea78bd79d33420b59f5a37302d6f982d7d6b","datavalue":{"value":"10.1145/964001.964013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$8D740954-DEB9-46AA-A3EC-1A3D7A367F64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0abdcf23e4efad91f7981d119437b265cc4740","datavalue":{"value":{"entity-type":"item","numeric-id":832011,"id":"Q832011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452257$58947232-80E1-42D5-81A0-67270E029FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3717720667149f4f83ad2fbd725a01613d0d5e51","datavalue":{"value":{"entity-type":"item","numeric-id":3452256,"id":"Q3452256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452257$44BAE149-B87D-4C24-9C8E-FFA75848CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452257$5C5C76B8-1AA9-4CB9-858D-8AAD7A11F027","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452257$1E060D4F-3CED-4124-B2A5-042337178242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452257$5537521C-2387-47C6-9E57-DB15EB1DCF39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$5385DC15-B7D8-48C6-9A16-D2C3BB9DF100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$5F8968CD-C9F2-4EDF-9098-9C95EA46EF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$30832520-9FCA-4934-B1F2-A3803BAA29CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$85BA4F05-D801-46C2-87C7-310BCF3DBD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$F52D6B05-EAF5-4A54-AC1C-3B82D86CD88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f731ac12537c15d64e279f1f14f3345cddfe3acb","datavalue":{"value":"6507262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$5C6186E5-3649-4C19-B64A-8FD9B8B05BF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452257$CC496679-729B-4656-945F-D492493F8FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34750733daafe9306220bafd194462d95dec9470","datavalue":{"value":"ambient","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452257$1C3BE939-FC62-4226-A350-29B8B189D1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfe6ec4111ce501363318206c357c6a6843805b8","datavalue":{"value":"semi-structured data","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452257$41816A1B-9F89-4674-8DC8-D79AA63E75F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452257$D1E45438-31EC-4DCB-9853-B972C9DE07B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452257$1824FD77-96E5-4A64-948B-A0E4B2AF958D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5fe582dd7d54b60122e7be092552aa7c4eb06b2","datavalue":{"value":"model checking satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452257$29474575-F208-4923-B3D5-4657AC9FFF23","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":"Q3452257$FD068837-4B46-443A-A75A-FB9BB08ABB7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d4c2ee35f7cbeea8fd69bda8b43c9cc8904f9f7","datavalue":{"value":"https://doi.org/10.1145/964001.964013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452257$1F66746A-21E5-4B99-B784-A0858375513F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb5d89e4c156c6f7f0c9d068d898ffb5dc643491","datavalue":{"value":"W1982213843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452257$46EEEDE7-379B-4A4C-8529-8BA5932794E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da42f82d2e55ca6dd9c67dffda49cc71d520974","datavalue":{"value":{"entity-type":"item","numeric-id":3344170,"id":"Q3344170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da28c8fe32a6462235ce0bf6c7b1d9002d16e6a","datavalue":{"value":{"amount":"+0.8461197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$01EFDC6D-ADC2-4272-ADA2-379EF608010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d502b7ad90f77c0186a54e9f62e711153b370b91","datavalue":{"value":{"entity-type":"item","numeric-id":514597,"id":"Q514597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e8678400e9fd50ea3016f0265c3616e8a3f87f","datavalue":{"value":{"amount":"+0.8345389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$5C4AF30B-E812-4A77-A2B6-BA7F7B857B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8341386f0e3fb8fee65384b120955bd60b625485","datavalue":{"value":{"entity-type":"item","numeric-id":5882769,"id":"Q5882769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d735d077422727c248ece98484a312ba763de1","datavalue":{"value":{"amount":"+0.82228994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$F2F24F79-2B98-4242-A8DD-1B11CCBACCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f82a06fd6d77ae16403c2843aceff7b6367e3f","datavalue":{"value":{"entity-type":"item","numeric-id":2193973,"id":"Q2193973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afdbf3e364c1cf508abf16f064a8f1502427d04","datavalue":{"value":{"amount":"+0.81952655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$71747427-0ABF-476C-8D41-FA4351553C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdea19a3bc198ac5dd2454c21c9ef513a412f44","datavalue":{"value":{"entity-type":"item","numeric-id":5215768,"id":"Q5215768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5122c8fd66ffde77d1860502be8b3a8a8d75ae","datavalue":{"value":{"amount":"+0.81247413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$DAB2AE98-6347-41AA-90DD-249C438D2BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9d9d2b3436f53b0eb4a07d7f8672ad3df99b96","datavalue":{"value":{"entity-type":"item","numeric-id":3457721,"id":"Q3457721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0104e6ee3c9198c96aacc0fafeda1bcd50447e","datavalue":{"value":{"amount":"+0.81096846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$4D2ABADC-0C01-46EB-9B84-BD4D5CDE6A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b9d224ec48f5d27e4e268fb1ac5b5a82f0ab09","datavalue":{"value":{"entity-type":"item","numeric-id":2732303,"id":"Q2732303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f5c7f624112d265cff850c84d9557cfec44ae0","datavalue":{"value":{"amount":"+0.81015545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$B7EC4BB5-CBF6-4F2A-B730-E5A97BFCB12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3efcde4a5be42babf09577f854842e9e60d6ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4706883,"id":"Q4706883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00455ac3a1090d59adde1c6468478a36861a5292","datavalue":{"value":{"amount":"+0.8075864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3452257$D2B6E87E-C3A7-473E-AC74-5BD4668F4A1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452257"}}}}}