{"entities":{"Q4945223":{"pageid":6974805,"ns":120,"title":"Item:Q4945223","lastrevid":47471404,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945223","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424033"}},"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":"Q4945223$1F0FF238-FC40-4AB5-990A-34109E48ED7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50ce24ad131ab5c60c306966b2bcf7b36fdea973","datavalue":{"value":"0942.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945223$2EA0DEEF-995A-4270-A71F-DD5DB089E4AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a52eee04ee91e9f633f9294c6d2f67dd8b73b2ee","datavalue":{"value":{"entity-type":"item","numeric-id":2996172,"id":"Q2996172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945223$77FCF2EB-6382-4C4C-A729-1BE19E6EFA4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945223$9695C66D-DFFF-473D-A996-E8A7EA41C096","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945223$C458FF64-EE27-456C-A933-1404340AEBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945223$A7A83E0B-77F4-4D22-AE93-E2DB0ABD8AA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fca288867179ed5108ef9a5db50c668491083e85","datavalue":{"value":"1424033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945223$C25CBD09-DB77-4B41-93ED-94F968FD8D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$AA3189DC-1D94-49CB-B233-6D80EBB716A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$12A070EF-5B79-4B0D-827C-85A682EBCBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"143477bce0ac6f9711fac86970cf682b4b15eb39","datavalue":{"value":"direction of an interval","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$2F2E648B-0157-4738-A44D-4136EC54FDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$CDFC0F0F-1798-4EEA-8876-7124D00FCADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$2A223F62-62D5-4617-8B18-B1DD3448335E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fbc7d0f3b3a3d13b7d969e9ebeea18e0e2748bd","datavalue":{"value":"future intervals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$1561381A-140A-48E1-91C9-4C2894E804C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$95791C7A-6DA4-4DCF-ACAC-5ED38B8FC50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346048dee665f8e254d86d136e4704641a5664bb","datavalue":{"value":"arrow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$6B6E493A-CE5F-4D65-A9B4-FBC91FF5BB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945223$6A7D20E9-8DEC-4DC9-ABA5-BCDF6BBBB976","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":"Q4945223$864CCDA4-C53D-4DB7-8890-EAB1471D783B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a341499615621befd473218de0314310fb0e758f","datavalue":{"value":{"entity-type":"item","numeric-id":671639,"id":"Q671639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6979170813fb6db965e7750182af651a376fc259","datavalue":{"value":{"amount":"+0.7787092924118042","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":"Q4945223$1BB1251D-D76C-4BA8-A982-5056D0AA1ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b347872709d7e70c765b6daeac5a422da11371","datavalue":{"value":{"entity-type":"item","numeric-id":3221966,"id":"Q3221966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a5fb8df9947ffb1a3cb5e680ffc8d9a86a31db","datavalue":{"value":{"amount":"+0.7683058977127075","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":"Q4945223$16ACA045-0ECC-4A00-A052-D49FADEB8234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053c4a3c83232c3c914f3d31be8a1418379d6be9","datavalue":{"value":{"entity-type":"item","numeric-id":4518424,"id":"Q4518424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b8d2da098df5895dee82455a4895e250db767b","datavalue":{"value":{"amount":"+0.7621479630470276","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":"Q4945223$A1FBC6BE-C52D-4781-9E6C-C8F80B3E4D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d37c4de50b725032dbb4d1984e3cea148729648","datavalue":{"value":{"entity-type":"item","numeric-id":3330496,"id":"Q3330496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf042965bb0a50f3f19508472c8821fc2160bba","datavalue":{"value":{"amount":"+0.7508764266967773","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":"Q4945223$B0247B3E-8BAE-46C5-B5E8-DDC1EBB90B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df07cdeb834ec5f510a143d6dcf63ddc08e0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f245d764732f72ff060b2f37a5f701645450be71","datavalue":{"value":{"amount":"+0.7469149827957153","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":"Q4945223$3589BC78-DA0C-4390-8A34-A95F07858A15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945223"}}}}}