{"entities":{"Q4349283":{"pageid":6378882,"ns":120,"title":"Item:Q4349283","lastrevid":46500765,"modified":"2025-12-24T22:23:09Z","type":"item","id":"Q4349283","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1047506"}},"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":"Q4349283$2F0538CB-8264-4AFF-A060-71985B500409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00fb71b9d6b03e342a43e10384328d5252cefcaa","datavalue":{"value":"0874.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349283$EB90D9F5-E57E-4175-86DB-61A158F1B989","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4349283$6BA870D5-B1A0-4F5D-85A4-C95E5494623B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c8c7692fa7223a1bc40102133e79e318fde956","datavalue":{"value":{"time":"+1997-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4349283$EB64012D-E57E-4199-BD70-F3328AF66337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349283$B77EAC11-FE6E-43DB-AA88-F72AA902A28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349283$877EB5BD-A97D-4FA9-B810-9192515775FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bc772cf4a6dba66693ddb8d61519af712d9e18f","datavalue":{"value":"1047506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4349283$FCA32488-2DDF-4AEF-988B-14C4DF25C1BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346048dee665f8e254d86d136e4704641a5664bb","datavalue":{"value":"arrow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$DC0EF318-C2EF-4599-86AE-1C99D93399E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$D45D3296-02B4-4680-9890-126747D96D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9317e6a2b03019414d9294c4b21ba22f20a83102","datavalue":{"value":"reasoning about transitions or programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$F00C65AB-7D5C-4BC2-946C-F3C1BF9C6F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d6d331bcbe30fe1afe1946f69936eff1c68152e","datavalue":{"value":"reasoning about states","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$18C6A13F-BF77-4B76-9299-FC35AEE4710D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36391445f0f3dfece06335c9cb1fe297549dd252","datavalue":{"value":"Kleene star","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$414AFDCC-3DED-4030-9E1E-94F24D70088F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$44586411-EBC9-430C-96D3-1F8467A23780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$0898EBA9-D67A-4233-9B51-CD71770769FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d8162c40aa4cd3a492a523ea69b03e3d7f62a","datavalue":{"value":"arrow-frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$32A7AB3C-1C6E-4E9F-9294-69B1DBCEFDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55990646cb0f291b6ea7bb328d75a7f6bf472d4","datavalue":{"value":"pair-frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$5152B2F0-EADE-45A0-AB3C-F06E0AB63F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c1c9d92cedc24507fb6046faae06d49c3e05743","datavalue":{"value":"complete axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$710B7ADF-3EA4-41D0-8046-8BC698C1ED4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23ad9e5ba22a15bbde8aa335f6168779f68c36e9","datavalue":{"value":"Peirce Algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4349283$EE991596-D224-46B4-B2AF-EBBD9493A596","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":"Q4349283$E49AF2FF-F313-4AA9-88E9-1BF9E2306087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18253ff75c78f240c035a52db8643f50714181ab","datavalue":{"value":{"entity-type":"item","numeric-id":4873974,"id":"Q4873974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32af62d98a525dd25ddd76e3078f8ec609558a2f","datavalue":{"value":{"amount":"+0.7992448210716248","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":"Q4349283$A63C5D18-0A69-408C-8246-81BF6EA62AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496c837e963de16ec8f1a302f1e7c1d2619752dd","datavalue":{"value":{"entity-type":"item","numeric-id":4349280,"id":"Q4349280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3863e4ec961ba863ed69f77a82b98e72882306a1","datavalue":{"value":{"amount":"+0.7916651368141174","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":"Q4349283$C0B77870-0DFF-47F0-A068-B3129A44AABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2a4e0c4032ef6ace2e0a26f9153051b629d92b","datavalue":{"value":{"entity-type":"item","numeric-id":598299,"id":"Q598299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e358c29bb7c495051b8c486ef0cf5609403a18","datavalue":{"value":{"amount":"+0.7805420756340027","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":"Q4349283$11B2F7AD-B185-44DE-8E9A-E9DFDE1CF5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4349283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4349283"}}}}}