{"entities":{"Q4247083":{"pageid":6276684,"ns":120,"title":"Item:Q4247083","lastrevid":46824312,"modified":"2025-12-25T16:18:20Z","type":"item","id":"Q4247083","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301859"}},"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":"Q4247083$33A681BE-F51F-4A26-9B32-07A088A5DE93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47383d63f45ec62cf640ed0b24ce7be43c5c9955","datavalue":{"value":"0927.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247083$E70324E1-4CF8-48C1-893D-EC970C0FCD88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22c976b8b3a5d0d2cd6a0899fab77bfcb20553a9","datavalue":{"value":{"entity-type":"item","numeric-id":1583741,"id":"Q1583741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247083$C2099942-B2B5-49CD-9E4A-CC0D4B649E5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247083$7571F2F0-2245-43EE-961D-3E037EA4914C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247083$FFD51E96-8890-4E72-AB5A-E86E9C0D2A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247083$ADBE9054-ADAA-4BFE-9272-8B2617B1D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247083$4E72945F-5BF5-408C-88A0-916124BF3AEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eca8e75b1bf600776c7066d6d4100ffd38e65951","datavalue":{"value":"1301859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247083$63FD3C00-6CDB-4E3C-A564-E8D4CC087950","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01d29b3e01a9c636bed6f75fba16cf409e0d5be","datavalue":{"value":"verification framework for I/O automata in Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247083$5668EE8A-342C-45C5-8116-0CA83F764378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247083$164981E9-15C2-4A8D-85F2-F0A0882CD91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247083$90D61B32-B66D-4108-8FF0-9B379663207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65770d34ab4aa929abaa82c152d1df93416303c3","datavalue":{"value":"abstraction theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247083$B4572678-9D26-4B80-9CC9-CCCF28A3C109","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247083$694A1891-8BAD-4691-8A82-F6920AB9A0C2","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":"Q4247083$F2A281B3-DE00-496C-A9CC-51AF03E0FFDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba11aea365327050207417956f298bd86563fab","datavalue":{"value":{"entity-type":"item","numeric-id":4239073,"id":"Q4239073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b26692da88e0c14872767deeb68383392746869","datavalue":{"value":{"amount":"+0.8840295672416687","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":"Q4247083$9BBF88E6-74BA-48BD-ADCE-0BC30E30A044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8a6ef0e502a74f89c7254887f802cbabb46ede","datavalue":{"value":{"entity-type":"item","numeric-id":4945212,"id":"Q4945212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9eaf8d61a8826ca7e3d27218d4038b769bc7f87","datavalue":{"value":{"amount":"+0.7930616736412048","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":"Q4247083$1FF8CEF1-6140-4A50-B138-5E1368B27F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5338f7ed3775f2c4b0a5afeaf8ce6094c68557","datavalue":{"value":{"entity-type":"item","numeric-id":3024875,"id":"Q3024875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef18971404f88982a3c4b3ceb41d834ac3f9a0f","datavalue":{"value":{"amount":"+0.7837263941764832","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":"Q4247083$8696667D-A1E7-45E9-9605-C63143A44377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2329ac48b709f66aa4e2a0cfdaaaf3d4cea285dd","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4977b5de5e934eef0912961162c58bafafc192","datavalue":{"value":{"amount":"+0.7731449604034424","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":"Q4247083$AA2634D1-50C6-44D5-8A4C-61D2AB1809EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247083"}}}}}