{"entities":{"Q4665732":{"pageid":6695313,"ns":120,"title":"Item:Q4665732","lastrevid":48457153,"modified":"2026-01-04T21:12:01Z","type":"item","id":"Q4665732","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2155185"}},"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":"Q4665732$2EE29E95-BD76-4FB5-B1D4-3C996EBDC168","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cdcdbc92f1715df32cfbb87b2acd9e09c4fa5dd","datavalue":{"value":"1063.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4665732$581919D2-DB4E-449C-815E-66D4A8323853","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4665732$5FCE10C1-445B-45F2-A2B3-2B01959551E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95b9931136db4a6e33742373f8afc96533db497","datavalue":{"value":{"entity-type":"item","numeric-id":202486,"id":"Q202486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4665732$B727DE88-17D8-419F-A416-6C058ADF5D62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b52907917c23baff866fa15e24e6114c56892e4e","datavalue":{"value":{"time":"+2005-04-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":"Q4665732$552CEB36-ABA5-4845-8987-2BD3F1305CEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4665732$CED34A24-9804-489E-A7A0-6D1942199775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4665732$54AC1D94-B941-41FB-B910-9ABF07489AF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc542c608efe37296eb309c06e5b239e9628e435","datavalue":{"value":"2155185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4665732$EDC9FC10-9B2F-4557-B97D-AF7F5BA9AD55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be9df65378375512fc39653bb68871ec85db6ec","datavalue":{"value":"propositional \\(\\mu\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4665732$FE8372A3-640C-40A7-94EB-CAD83D41DDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4665732$69596BF8-7E73-4744-AFD0-17AD19B98074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4665732$494FB9EC-A048-4853-B6B7-715D8E771C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4665732$93E28B23-7CA1-4BD7-B576-5F8D9E5CA386","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":"Q4665732$E33962FE-EC67-4DD0-80BD-98A8AC19F475","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0257ad22f725b477ae43f1a68278b432eb395209","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9585c7c72568b2b2c3def9f9fae5297921151d7c","datavalue":{"value":{"amount":"+0.8043478727340698","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":"Q4665732$1B1F3E4E-8345-45A3-A8C3-74C91C7963C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bb287b83df0b14610557bc15aaf86cee4b0d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3219755,"id":"Q3219755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75dc895d303c5ddc5e0fbcdd86c0af2cbeb7c210","datavalue":{"value":{"amount":"+0.7846305966377258","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":"Q4665732$2794DE98-2A18-4611-9969-B1A3C97D7F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7efb8acc7d9a16236b3c2d82803a3e6358da82","datavalue":{"value":{"entity-type":"item","numeric-id":2457076,"id":"Q2457076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dc7a270ab168b2bbd0b05bd665f6ae066c60cfd","datavalue":{"value":{"amount":"+0.7608569264411926","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":"Q4665732$F48DF189-0766-4A16-A6CD-107C34D22093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92dd368236acc63efaf94c711f49367b46e849f","datavalue":{"value":{"amount":"+0.7589529752731323","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":"Q4665732$E0E194E2-573E-416B-8AAD-991C609AA6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47ea99c5c5c04c9a31e0787dcd731a67128228e","datavalue":{"value":{"entity-type":"item","numeric-id":3740224,"id":"Q3740224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9253d5e5a366b41441ef23cec0f75adc15a8f8","datavalue":{"value":{"amount":"+0.7447351217269897","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":"Q4665732$8B7015BA-43A0-4685-AD59-DCA84ECC2AA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4665732","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4665732"}}}}}