{"entities":{"Q4263013":{"pageid":6292614,"ns":120,"title":"Item:Q4263013","lastrevid":41739139,"modified":"2025-05-07T18:41:07Z","type":"item","id":"Q4263013","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341474"}},"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":"Q4263013$38DFA186-E436-4908-811A-CE2E12BA1E32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13fffaa69921bb57f331630fa187b9fd17964936","datavalue":{"value":"0931.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263013$F94F6F54-B671-44E1-8608-C8F34EF05EDB","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":"Q4263013$E77B4B3A-CCBB-447D-B940-2A894C63070C","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":"Q4263013$BC4E6BE2-AE47-40BA-B2EA-A38F34DB55F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263013$D869F6FA-2A63-4D07-AC11-FF0C9E7EE084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263013$293574DC-6694-4FEB-9C1D-E4BC406D92C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263013$80CC0A82-67BC-4316-A91C-045657818803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88d28d1a08f07a34b63e1e41c11373aae9bff0fd","datavalue":{"value":"1341474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263013$DAF9D446-D6B0-4876-BE92-57C3E6122A40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263013$558DF73D-2534-43CC-B635-C2502B6EAE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d08cdd2990c5363053820d8c7228e8ceba699aa","datavalue":{"value":"cut-free display calculi for nominal tense logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263013$75A9EE5D-54B1-4174-92B3-BC262170D868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263013$AF81CF83-B853-4A4B-8C73-9BB94F49BB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106662bddaf9debb5dbbd3eaa6aa50b70bda5b4b","datavalue":{"value":"Sahlqvist extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263013$447C6CAB-872A-412D-ADD9-DDDF15E80483","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":"Q4263013$0CB71DD5-8C24-432E-B59C-3F6695B29AA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5f088a816e9663d29757a879c07dfba21a8fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4796460,"id":"Q4796460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12ce9c3f94bc4adbabfae5f44f12cd06bafba4d","datavalue":{"value":{"amount":"+0.95650613","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":"Q4263013$42DDE464-5823-4A13-9FE7-AD5A3D115920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014ee341c5d3c4054bee18fbe253ba7a6447da7a","datavalue":{"value":{"amount":"+0.93753064","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":"Q4263013$5439FB61-7980-4B21-8F81-823B7BB86FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b71f8c56f976fe164fbb0fb9ca6121ab435d454","datavalue":{"value":{"entity-type":"item","numeric-id":2296766,"id":"Q2296766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fd317b07502bd5ead3307b82cece5bcd26eb1a","datavalue":{"value":{"amount":"+0.9073544","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":"Q4263013$A920C910-0152-4DE8-938D-24E233E3210F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132cd5e653dc9cd31ecdd8a6ea747c56c20620a7","datavalue":{"value":{"entity-type":"item","numeric-id":1709695,"id":"Q1709695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619bd7851cf3fc95d2353af92c87a0f7f7931761","datavalue":{"value":{"amount":"+0.89702094","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":"Q4263013$431A3488-E68E-4D66-95BF-23E8ADC2E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed356b5d3221abf7374259e61e636f2d7c68372c","datavalue":{"value":{"entity-type":"item","numeric-id":4263012,"id":"Q4263012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc178005831cfaeb94485d855532321a05356dc","datavalue":{"value":{"amount":"+0.89544976","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":"Q4263013$FD5169CF-A31B-4D40-B407-F22869AC0E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f273542bfd9d9122318c686b43a8b89b3eb7d31","datavalue":{"value":{"entity-type":"item","numeric-id":2142082,"id":"Q2142082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418f8f6dce22d1aa5c35ccb878f89f6606dfa649","datavalue":{"value":{"amount":"+0.8947232","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":"Q4263013$F1851645-099D-4CBA-8F3D-FBE94F508D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d9d447b99d89ed14040c00e63455066c69e900","datavalue":{"value":{"entity-type":"item","numeric-id":941433,"id":"Q941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be51b70e0e41125dd625fd98137391b627a03f79","datavalue":{"value":{"amount":"+0.89250153","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":"Q4263013$E73EDB24-D934-423D-B6CD-ECCB2E229678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee71b9090ea73b7d9699f84230da8bf7ebd17b9","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94fde40413c5a80b474483cb60d6929336d1ce2","datavalue":{"value":{"amount":"+0.890515","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":"Q4263013$AFE61FCA-510C-4B76-BB26-B7EE2050E261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52cea5787ca4559d60f7945eb71e37137d1c26d","datavalue":{"value":{"entity-type":"item","numeric-id":2180517,"id":"Q2180517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e94f68bee1d2df1b41b32f2eb295063914709e","datavalue":{"value":{"amount":"+0.8812121","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":"Q4263013$57334F3D-571B-4AD3-8332-8D98791E2BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b04316351e5f991c7c33c30463b7a6964de9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3003326,"id":"Q3003326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e2fbd68e996ceafc4c9ce6d73cc0a37797be6d3","datavalue":{"value":{"amount":"+0.8754571","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":"Q4263013$D841124E-042E-44B6-813A-462310AD2D4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263013"}}}}}