{"entities":{"Q4263154":{"pageid":6292755,"ns":120,"title":"Item:Q4263154","lastrevid":41739140,"modified":"2025-05-07T18:41:07Z","type":"item","id":"Q4263154","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341605"}},"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":"Q4263154$5EE38348-F065-4C4C-864B-118FF84F28CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a2b98cf8988bcd414f4e9f52a3716029e8f3fbe","datavalue":{"value":"0938.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263154$A1320954-8A22-455C-8AB0-164830692E89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263154$371514BD-04A9-4FA6-9AD2-25228D890A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263154$F6AA5013-F2C1-4055-8D45-D1E014308BB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d4be147cfd981852f4b0a0714aa74a16693370a","datavalue":{"value":{"time":"+2000-05-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":"Q4263154$B86837FA-9648-4D8F-9CB8-963997655141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263154$7DDF1265-8243-4344-87B5-AF3AA1EE5F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263154$9A818D7F-FF5D-4691-A2FC-7462BBCF54E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263154$7C9C7F54-0EFB-40BE-AC0E-6772356B66B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5be52b28722fadbe6ab3611ac25c94d2f6e9cb61","datavalue":{"value":"1341605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263154$C8CE1F5E-A81A-46D5-AD27-5BF1C600BF8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccff44b41ba7db03d270893a305fa43d5e3ecd8","datavalue":{"value":"modal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263154$ECE72163-DBD3-4306-9B54-714D25A444A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263154$94BD4CBD-D07A-48D5-92A9-C828C929843D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a240d483a1b1df721af188d1ec9bd1c656fcf13","datavalue":{"value":"polynomial-time transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263154$E0DFE019-BC4C-4BDB-A433-A759B02F37AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eae2b3a2788ace2ec5cffecfcf5bbf07601bfd7","datavalue":{"value":"display calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263154$0C2A8787-08D9-4314-9E9F-B3CF9FF09A4E","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":"Q4263154$E3AE7EFD-272D-4CBD-8701-BC3E8E3895F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc57bd2d56841c5ec20d3be9ad5faf50608355b9","datavalue":{"value":{"entity-type":"item","numeric-id":5025700,"id":"Q5025700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831b963b67388cfa2bce9b1c6c3974375751062a","datavalue":{"value":{"amount":"+0.9114418","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":"Q4263154$66C0DB26-627C-4243-9C68-91FAC652EA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006b7fde6af592f6799db7f14c1f8600cd6b606c","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5144c8e2b7e863820df35be6f75e8d24ea9ffa","datavalue":{"value":{"amount":"+0.9076059","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":"Q4263154$1AE330AB-C124-4F70-AEAE-0D3EA827618D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44900fea966451a6666b697ebfa2032f7c577d5f","datavalue":{"value":{"entity-type":"item","numeric-id":5413353,"id":"Q5413353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f569bce07ec8cf4911fd3f63062d430ac178fa8c","datavalue":{"value":{"amount":"+0.90312135","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":"Q4263154$B1F261B9-1E6A-4355-9F07-9CF6944D37D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8826b6252dbb43c3e09cb37e3855c0e36dbf196","datavalue":{"value":{"amount":"+0.89983594","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":"Q4263154$DE3A5F6A-436A-46A4-8B56-406F7F9AF44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d757875cf6351cd4776c2f4e4b255528dbafcd","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac0e580279fca8ddf50b312e8a3a32318692029","datavalue":{"value":{"amount":"+0.89703923","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":"Q4263154$B19F280E-DB79-4785-A1B4-BC28871A7647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac8fc95e9314122a53059e4d5b70a27d8e08803","datavalue":{"value":{"entity-type":"item","numeric-id":3777990,"id":"Q3777990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034be1db9644e6c86368a6d7e5f3c74370b4b643","datavalue":{"value":{"amount":"+0.89172876","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":"Q4263154$13D7ADA0-FA08-4B84-ABBF-1C4C57B40729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b716b16d17edd8e0eafad6206012a4847454f7","datavalue":{"value":{"entity-type":"item","numeric-id":3699666,"id":"Q3699666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3459074e4d8047609d3ce3fd76f7c48c3902dbe","datavalue":{"value":{"amount":"+0.89154464","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":"Q4263154$EBF6752A-CA7F-411B-9520-703C0DE17F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cbbce020ff19f6fbcc30f996a80e913e1a5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2870120,"id":"Q2870120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b6db114dbf888d9e62f59dc3ffbae9e26d8c20","datavalue":{"value":{"amount":"+0.89019436","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":"Q4263154$820DAA2A-CCE6-47C6-A7A5-3DF2485FC983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70af6e94aee3b44fbcafd7c8dc41fc6c7c2c68a6","datavalue":{"value":{"entity-type":"item","numeric-id":1610677,"id":"Q1610677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9297204963af2dcc9122414adb43a245e48b2e0","datavalue":{"value":{"amount":"+0.88826805","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":"Q4263154$A1D0E2A4-6690-4265-9FB8-2E8CE000F6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d1e708b2e469be7ec03df78ad98200a7c69af2","datavalue":{"value":{"entity-type":"item","numeric-id":636278,"id":"Q636278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd69a0d0d199448943bd43b50c8a1364a19294e","datavalue":{"value":{"amount":"+0.88792014","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":"Q4263154$FB444A7B-A5A5-4A94-9528-231D2A502EE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263154"}}}}}