{"entities":{"Q4530725":{"pageid":6560317,"ns":120,"title":"Item:Q4530725","lastrevid":47922466,"modified":"2026-01-03T02:29:36Z","type":"item","id":"Q4530725","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749139"}},"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":"Q4530725$1ABCF0B4-671D-4DEA-97D6-7881D8670A75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50cbf50719cd494646819823af25fd9caedb0bd3","datavalue":{"value":"0997.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$38DEBE86-B9CD-414C-9ED5-2DE3C7E1A187","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530725$150C99B9-97AF-42E8-B559-DF8585ADC523","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6e97f824546b3447b15b77d52f9f484532dcf8f","datavalue":{"value":{"time":"+2002-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530725$1979371F-8326-4C24-A6DB-C7D75852CA4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$08A393D7-A7A1-43EA-94FE-3AE935729B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$A3A01F8F-DB2B-418E-85D9-0718309FE076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$17279E4B-89C1-4914-BF88-0B32A5419E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$562437D8-317B-417D-A9E1-A0151BA00236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$2C97B351-F480-4E8A-BDF6-E2233A99D9D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cfe4c98d8a2d3fbab1e65c8138914044302a2bb","datavalue":{"value":"1749139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530725$C558B0A2-E8B5-4291-9647-15DC146B45B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530725$59484774-A01A-45B4-91DC-1758E19727DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc45b13af92a8836c43cba19921f6106f14c4c0","datavalue":{"value":"modal logics of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530725$D7FE4193-89C1-47A1-8149-0329ED293B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9500644cd73e6189963179221a14c03a4fe9447e","datavalue":{"value":"natural language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530725$CCEE7FD9-9D7E-4105-8814-E4FDA5B06172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530725$06EED804-BAC7-4ECB-92E1-BA01FCF8C067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530725$2AEF7C03-6F4E-4512-B98F-A3B519D4A41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0a63cee3f7ba23ddde7e3fe62dbc5e179b504e","datavalue":{"value":"sorted systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530725$5318D6F1-D681-4B3F-A96F-23D7F0A4284F","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":"Q4530725$13FABCE9-9FB4-433A-A2C7-F2006BFE6B50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc4a3f9473d543d7ab3e169f0a9ec5a053d515b","datavalue":{"value":{"entity-type":"item","numeric-id":1096384,"id":"Q1096384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c11d6b3dcc7e0ce7cfefb0901b4125938d611d3","datavalue":{"value":{"amount":"+0.7780203819274902","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":"Q4530725$532839C5-E84E-4D8B-8DB8-29B045B70321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1699a8c4db7aa4f6068f4b8965f2fa1fdda4a6","datavalue":{"value":{"entity-type":"item","numeric-id":4692974,"id":"Q4692974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b704f3f0830e8aa5190a8d25d2dcea217cec32c","datavalue":{"value":{"amount":"+0.7675211429595947","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":"Q4530725$B7DF1AFD-7DA9-4C2A-9D9D-84E569B0BE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230daf54a39ad062700f4f584d18012526685cda","datavalue":{"value":{"amount":"+0.7550889849662781","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":"Q4530725$CBDD7BCA-779B-472A-97C9-8A5252910B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13282f0a91f968870800402fa9d537565feacb3","datavalue":{"value":{"entity-type":"item","numeric-id":4238498,"id":"Q4238498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8530a02b98a00be5c22bbdb8e33834e6202179c","datavalue":{"value":{"amount":"+0.755088746547699","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":"Q4530725$1179A254-73FA-45F7-8E5C-FB079D3BCB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba188aa9b24b4e7882bcf1edfcf6781af5e2d10","datavalue":{"value":{"amount":"+0.7543184161186218","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":"Q4530725$2B76C3E2-E2E3-4E94-9FD2-D3B4BD3CA58D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530725"}}}}}