{"entities":{"Q3437256":{"pageid":3447959,"ns":120,"title":"Item:Q3437256","lastrevid":88224479,"modified":"2026-06-04T13:58:00Z","type":"item","id":"Q3437256","labels":{"en":{"language":"en","value":"Axiomatizing the Monodic Fragment of"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5152646"}},"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":"Q3437256$2A4CD2E6-18A5-4C06-933B-21800E603476","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12e1e195a811b7c2e2449a9c0c34ba5cd2f93e8a","datavalue":{"value":{"text":"Axiomatizing the Monodic Fragment of","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3437256$54C114F4-11B9-482C-AEA6-03DB20F69E11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"435ae356e5138f41c38b639ed8bd0a62866c4b3e","datavalue":{"value":"1116.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437256$51084CEF-C395-4240-AEB8-B963D8ABE52A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2af428023bb1f64e3e9e7c392bd08e7b812892","datavalue":{"value":{"time":"+2007-05-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":"Q3437256$096DC402-58E3-443A-8001-D05A16AC4931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437256$C68BE59E-F225-42BE-92B0-560FE243FE9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e801e253aa9bc97f585161a24eebac953078e607","datavalue":{"value":"5152646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437256$2FD9A59A-3EB7-4689-B36B-45B532FA7A21","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95dfbcdceac6cb0c1480eb7dd795ff46e5c45","datavalue":{"value":"branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437256$0346B591-0F60-4491-B042-BF564B7854AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a1b4de2f6601636779c475343b36943870036","datavalue":{"value":"first-order temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437256$91E77D31-7749-4EC7-B593-2B3B68EA1FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2bae1ebcea27db96f57cd7d25fb6195bccf5bc","datavalue":{"value":"monodic fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437256$F1E6878D-612C-4A69-A412-5FEFDC430C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3437256$5062EDFA-AD88-490D-91F7-D8B92C833439","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":"Q3437256$C5C74ADF-CC70-459B-BDD3-B91436BB3E2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc9240c525f29f45af943e72bf36ffd9aeea070d","datavalue":{"value":"https://doi.org/10.1093/logcom/exl021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3437256$ECBEF6D6-F3B7-430C-B465-83F1AB087AB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d525074e6c195185682b42034a05598c14a9e336","datavalue":{"value":"W2313039677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437256$AE950F91-7B9C-4FF6-99F9-D6EE2A6ED295","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b3c59f228bac38d688c079d6d429fe389674a5b","datavalue":{"value":"10.1093/LOGCOM/EXL021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3437256$0813D4C4-0A01-4139-8D57-A88FC69ED79D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3437256$4C9E5DB6-9BFA-4F23-AB4F-7A917FABDE16","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c1e56272e89723df8b5c41e8c5c2cea135c272","datavalue":{"value":{"entity-type":"item","numeric-id":2856051,"id":"Q2856051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684c48a3ef26126eabebff80364e9817e1ebacdb","datavalue":{"value":{"amount":"+0.8063673973083496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437256$48FF0575-31A9-451A-87FE-01012490815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb556359ba6aa74e5b2a8147f7d12bc3e42bd9d","datavalue":{"value":{"amount":"+0.7977436184883118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437256$DC2B1803-4160-4BF3-A07B-BD7CAAC40398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dbe0af5e3140873d7a3d24d17074aa2f42b500f","datavalue":{"value":{"entity-type":"item","numeric-id":4461349,"id":"Q4461349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1646010662388393a66f9c2e956dba20a09e1998","datavalue":{"value":{"amount":"+0.7912722229957581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437256$8F15DF27-8D67-43E4-9071-73F6A2B29C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67266a4f620a8393150d30127a77d173cd57943c","datavalue":{"value":{"entity-type":"item","numeric-id":3768883,"id":"Q3768883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8770c19750e79246c1a7cd66f6b1963578c482b","datavalue":{"value":{"amount":"+0.7805575728416443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437256$61B0DD1A-D07C-477A-9ED0-91D2CA4BD2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846c40b1b76023f97fb632d9f1f626fe924deca7","datavalue":{"value":{"entity-type":"item","numeric-id":2776809,"id":"Q2776809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d326ea8d990d6eb82a5480b6738f6e86eff2bc","datavalue":{"value":{"amount":"+0.7756748199462891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3437256$ACD9E81F-2F3E-421F-BA23-4F08C528B382","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizing the Monodic Fragment of","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizing_the_Monodic_Fragment_of"}}}}}