{"entities":{"Q4518865":{"pageid":6548458,"ns":120,"title":"Item:Q4518865","lastrevid":41176934,"modified":"2025-04-18T17:51:38Z","type":"item","id":"Q4518865","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538010"}},"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":"Q4518865$909C6F91-BAA7-4C0B-8DAB-6E1D3E725798","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e1bcc93dbe517e8211894753bb9ee3b0fd29397","datavalue":{"value":"0964.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518865$0CA791CC-AE38-4C1B-A6AC-C4AEA9E716CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93a856ec74c83d630bb9a006b922edf955f6e7da","datavalue":{"value":{"time":"+2001-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518865$EE5FAB97-4A82-4044-9DE1-8692C3445737","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518865$9D50DB8A-949D-41BD-B20C-A3C995D8FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518865$754504A4-9FEB-46B4-8560-131F1E4B7B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518865$C8579EBF-BBF6-4EC9-A9E8-531D9B73E70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518865$138EB733-12AA-4EA8-B759-17D0373BB000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80bc39a81712604ed492b0f3e5843be40a121584","datavalue":{"value":"1538010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518865$CCC4574D-7A97-442C-AE8D-C914EC418579","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518865$83B9A979-FFCC-4AAB-8311-09639650F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518865$CD3D0AC8-1D9B-437E-9E2B-BFED88DA46E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d5e82ca5d1fa5d16e203c6d55c0cd1ef524df","datavalue":{"value":"combined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518865$1D0D6CE5-8399-4F00-8B26-C7167B0B8924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518865$76C92858-A905-402F-A5E9-A8C8ABAD9EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518865$EE6E430D-C65D-4597-B87B-2B718A582685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518865$CD358655-11B8-419C-A785-10581D91D409","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":"Q4518865$C7D2E77D-ECB4-464D-91A0-87F3B60B5D17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4a16a1e9a265e91c9f5944c7a8a8bb475e05c36","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f22254cb7730cf45fa2c42cd45fd965e6811db","datavalue":{"value":{"amount":"+0.9357813","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":"Q4518865$8820139D-46B9-46EC-8CF0-1F92B01F8614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809662027c131fc0521168563317257d97ac3756","datavalue":{"value":{"entity-type":"item","numeric-id":4273421,"id":"Q4273421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76664d8b1865419c2c8e60eae3ebb97b473f284d","datavalue":{"value":{"amount":"+0.921936","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":"Q4518865$1DE55D8E-A6DC-4E96-8441-1E582F7D8861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1510ba7b18e6b1438473e3903fb76b7838e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":2771498,"id":"Q2771498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f1daa9e7338f46b4177efe48333ec16817e6f5","datavalue":{"value":{"amount":"+0.9081076","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":"Q4518865$BB764A28-5F97-4A04-A99C-A1B98BE4CE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"caaec91331703e40b6f3fb73efacaa3af1532568","datavalue":{"value":{"entity-type":"item","numeric-id":2920447,"id":"Q2920447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c71dc9f6f7dd463548fcedf56157627df89f3b3","datavalue":{"value":{"amount":"+0.9077878","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":"Q4518865$EDF8ED7D-FC2F-4FEE-92BF-28D4D2E89068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d162b7699cf15f544f3b18daa07347a56561f152","datavalue":{"value":{"entity-type":"item","numeric-id":3734358,"id":"Q3734358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f58fa4b13f14860a52828b36f76db95b97ed90","datavalue":{"value":{"amount":"+0.9037198","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":"Q4518865$79DF77B9-9EA3-43FC-A61E-C10EC5080FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7ac57d23a992d88a8dfc8139388242c56f90a5","datavalue":{"value":{"entity-type":"item","numeric-id":1903133,"id":"Q1903133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a662bc2923d1902fac12ea8f2c473217c9fe68","datavalue":{"value":{"amount":"+0.9005176","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":"Q4518865$A06C9FB7-EC1C-43AE-BDB0-4516131D5D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea613e60210ddbbecc15359b6baf98ccc520e31a","datavalue":{"value":{"entity-type":"item","numeric-id":5411416,"id":"Q5411416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f288f6a1c0dd86165f0fd1348184c749a04ba8cd","datavalue":{"value":{"amount":"+0.8983799","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":"Q4518865$77CC4805-EB15-4B37-915D-2130DF8B2721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f69ff61384e34b6f1c9fffb5e2c65fe257f29a","datavalue":{"value":{"entity-type":"item","numeric-id":3789533,"id":"Q3789533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c0aa8144cf9438dbbc75b7a2eff8ab8afa1329e","datavalue":{"value":{"amount":"+0.8976053","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":"Q4518865$F9A28440-35B7-4CD2-B41F-60EA04E4E5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d35e3200d31b03d3422fe831cb12f344da8f739","datavalue":{"value":{"entity-type":"item","numeric-id":4644536,"id":"Q4644536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed755a07d3966db8eee82e71ec1f8708b4d51fdc","datavalue":{"value":{"amount":"+0.8973776","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":"Q4518865$9ABE6F6B-D3FE-4883-8AFE-146928DDF587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2498523d0de4815ff51869296d2b90f9ccae396","datavalue":{"value":{"entity-type":"item","numeric-id":1403342,"id":"Q1403342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009a24d995e426ae45781668f037b8cc5a25f644","datavalue":{"value":{"amount":"+0.8922689","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":"Q4518865$DFD86E6B-5C06-4C65-B7E7-F741750EA8DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518865","badges":[]}}}}}