{"entities":{"Q4934656":{"pageid":6964238,"ns":120,"title":"Item:Q4934656","lastrevid":47433724,"modified":"2026-01-01T18:04:47Z","type":"item","id":"Q4934656","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1390364"}},"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":"Q4934656$DB23334F-07B4-4CBA-B44F-AF5559BDA7DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93aee8785898cbcdf729e8e59d36eebf83e026f9","datavalue":{"value":"0938.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934656$A0DB4E87-56AF-4413-A601-05DAEEF71BAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8393ea08b106634dbd0c846c0a1c144dda45926","datavalue":{"value":{"entity-type":"item","numeric-id":1342228,"id":"Q1342228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934656$2B4B5D4B-2D61-4DC5-A5A1-6F0095A5AF71","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e426adfaa36265196984bb6634531751542007e","datavalue":{"value":{"time":"+2000-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934656$EB7EED6B-9E1C-4E48-B2E8-2E6E368EB73E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934656$60A4610B-1EAD-4AA1-AD9B-24F82531655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934656$FE88F837-B79D-4F58-8FCC-876B202D7FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934656$B1C3E5FD-F650-4EE0-919A-7DD60BB21DA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e25cff544dd88e1455b6d45204cf98604df0412","datavalue":{"value":"1390364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934656$CEBA019F-EE2E-48FC-81F8-EBA89191E97D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9780f3d0714f49c3d4555b1f7368f494d5e75d","datavalue":{"value":"Sandewall test suite","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934656$F69EF2CE-AD82-49AF-AFA0-C4C46FBECB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759022c9d06de6d3b27c3eb7306ad16eeba5d840","datavalue":{"value":"monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934656$C7F75931-1760-4917-A6C7-150BB793695A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940d64ccdd4e4ffb04a9b06af35259b4d41bde54","datavalue":{"value":"explanation closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934656$74A12526-9AB4-40A7-87E1-38B244E4E601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd97e0c856e91a96c77aff07a17849eed303633","datavalue":{"value":"action closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934656$E9F9551E-8030-4F88-9B0A-AB0F7DC8BF0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eddd3b716f0ed34897241d950763c7badedae9ec","datavalue":{"value":"reasoning about dynamic worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934656$83F22BFD-A9A5-47F4-AFEE-ECCC262D2BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934656$6A4AE700-2FFE-44B2-8985-B476EA70F092","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":"Q4934656$AC6E1413-FF09-40D2-8930-7D9E5260CECE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e764fc228d82327d8e15386a602e0240a88cfc49","datavalue":{"value":{"entity-type":"item","numeric-id":4316299,"id":"Q4316299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b8dc48cc1945da484710fb04cd3b782af6bf70","datavalue":{"value":{"amount":"+0.9991175532341005","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":"Q4934656$24747CE2-42DB-4668-86EF-D39E5907A43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7c3cf4207c24c1d268a34bc39509dd707073b5","datavalue":{"value":{"entity-type":"item","numeric-id":1923832,"id":"Q1923832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e595bfb21c418be3454e1a7c06dc9341dfd0c5","datavalue":{"value":{"amount":"+0.7563729882240295","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":"Q4934656$B130F868-1CF0-49B4-98B0-E017F2095330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a0a9437f7fac850b752342959c1884a80b8322","datavalue":{"value":{"entity-type":"item","numeric-id":1103419,"id":"Q1103419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77c3ed76577cdc0d9bd024f90e7333f14215d2ba","datavalue":{"value":{"amount":"+0.7316262722015381","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":"Q4934656$79A2304D-5E09-44D3-8ED8-6C8D5C33AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de70c4f758d04e9e21053ab2c9f169436dfe0bdd","datavalue":{"value":{"entity-type":"item","numeric-id":4475188,"id":"Q4475188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c86410b3adc3e65a3eba09ac9c2ea7d5c10cc584","datavalue":{"value":{"amount":"+0.7238775491714478","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":"Q4934656$30424AF0-ED7F-4C25-80D4-92394E250FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c61c99dbc77c08c1c47103117fe3326c548eaed","datavalue":{"value":{"entity-type":"item","numeric-id":1182155,"id":"Q1182155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a88d4de1f3a8c0cfd04c88e1ee209dfa613021","datavalue":{"value":{"amount":"+0.720240592956543","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":"Q4934656$EA264FA3-5C73-4338-9D49-EF1EEEE45CD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934656"}}}}}