{"entities":{"Q3704884":{"pageid":5734790,"ns":120,"title":"Item:Q3704884","lastrevid":50464262,"modified":"2026-01-14T03:01:21Z","type":"item","id":"Q3704884","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3932376"}},"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":"Q3704884$2B656E19-9E77-4588-950A-5931C6E110F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e671b88c38226aeebd29621f82200b2177a9a37","datavalue":{"value":"0582.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704884$8A2ED9A4-9703-470B-AB9F-B02E6CECE044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209ba2abb9262ee2627b025b7dc9cc61471e318c","datavalue":{"value":{"entity-type":"item","numeric-id":661001,"id":"Q661001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704884$AAB861FD-335F-440B-BB37-D7DF549CDE47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3704884$BA08F535-739F-41F1-A709-B0C9A37D71E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704884$1025BA95-F668-4926-AA2C-FFCA81C39ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704884$B39C4EA5-7C6F-4DA2-9E95-36CD79D156D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704884$BCD77287-CCD3-48DA-9AC6-55F4FFBF5905","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f06b609f9e22de08f64981b2da7ff0bf8586934","datavalue":{"value":"3932376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704884$780FC465-76A4-4B2A-BBAB-60ED6B7BA243","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42d521390c05cea1642b9183536752a98ec4b5a","datavalue":{"value":"compositional axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$46E28573-C23D-4D81-B635-03F87C4153C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f91ffe61e49928c2ce0dbbccce5ae7e37bf93c","datavalue":{"value":"concurrent languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$838C5DCF-6792-44BB-8F32-9144CD9AA5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$8A97AF4D-A887-4A7B-892D-9789243334A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00409af56c0c1c6d450252f742ad5e171bcb8d99","datavalue":{"value":"action predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$92FE4C2B-8660-48BF-B18E-2D2CC58E6078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206869e6bf92dd8d223c8779d4189dd534f6f86","datavalue":{"value":"remaining operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$C79B6F60-F3F4-4171-BE92-0FB85F3AD7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb40bf3961edd419450bb66b0b99ec37ce0176e","datavalue":{"value":"control points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$841B5726-17CC-4A84-ACFE-086581D88F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704884$3A28A950-9671-4002-903D-1EC6309D57BB","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":"Q3704884$326F1A33-AC53-4B0B-AE76-720A88C09133","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed30b40de20edc667cc7a81f9511e52cd6ccfc82","datavalue":{"value":{"amount":"+0.8285620808601379","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":"Q3704884$55055D73-424E-4075-B8A5-42CE53DEA0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152057a1f33cf8ef65f6e795e36cc8e54718dfe5","datavalue":{"value":{"entity-type":"item","numeric-id":1077155,"id":"Q1077155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec48c2176ad97ae6b5a28376531f1bf5b475efb","datavalue":{"value":{"amount":"+0.7848964333534241","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":"Q3704884$3D129D47-52CA-4734-9249-FEF16889C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9da742a0d2675a57b6f16d4480cdd6375ec130d","datavalue":{"value":{"amount":"+0.7798815965652466","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":"Q3704884$B1C42254-CB13-40CF-A8C6-4FB0DAABA64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e01841c5aaee7439fb985d58027be7ac70fb","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18bc8b64391c6935c0d0be6b21778788c301c6a","datavalue":{"value":{"amount":"+0.7790226936340332","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":"Q3704884$0B612A51-8062-40AB-BA73-2203FA4C0568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6690f5123be9fcfe06f9e6da3fedd40a8562dd","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0187f71c5d9afd69a9f7770e095bd5c3044aab","datavalue":{"value":{"amount":"+0.778623640537262","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":"Q3704884$A4E219A4-CCE8-46DA-AC4F-2CC345EEC1BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3704884","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3704884"}}}}}