{"entities":{"Q4453049":{"pageid":6482648,"ns":120,"title":"Item:Q4453049","lastrevid":41792403,"modified":"2025-05-08T09:52:05Z","type":"item","id":"Q4453049","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2050824"}},"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":"Q4453049$D6779665-DE9A-468D-809B-D689BBD455C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5235622d4d8e884621cade47bfa424574a525679","datavalue":{"value":"1040.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453049$09D639F8-DA81-4285-9F6D-DBA8170ACBF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f84cbac2e2d6eab6b7e3748c50b064efea09ab0","datavalue":{"value":{"entity-type":"item","numeric-id":4453048,"id":"Q4453048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453049$3916287D-A50F-4217-8D31-3DECCF33BF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79d586cc23a78ad0d31b0e11f7c375eaebea7981","datavalue":{"value":{"entity-type":"item","numeric-id":916412,"id":"Q916412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4453049$DF7E5FC6-CB75-403F-8928-889D8A1CB0A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b6b6d4a806cd2f0a9402edc4992ca7a6f787c5c","datavalue":{"value":{"time":"+2004-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4453049$AB756D09-2D01-4673-A434-6027135F1CC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453049$5C67E466-ACD6-4F1D-AA9D-0298A9F78125","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d50f2dbcb204ac03e508a64391a80ad1a20fa1d9","datavalue":{"value":"2050824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4453049$54E45CF9-B763-4BC7-9E98-93BF48B49430","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453049$7C43734F-C862-4C24-B5E7-1B47C4F02B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453049$D3CBA77D-6F39-4533-8B4E-04958CEFD850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453049$18F66554-360E-473E-8C69-994D4227D3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b747a2dfa9e9eb1142b01f0900d3b895e4e88d4e","datavalue":{"value":"predicate transition nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453049$7D5078D7-E9B6-48DD-BFAC-3B55F59B80F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4453049$8BCC63A0-8367-43C5-81B0-7812ECD920F1","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":"Q4453049$9A891C9A-BE74-4476-A9EF-69F5D64C43CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d827c2bff89c017bf4180dbd4a7751fa6a94a0ef","datavalue":{"value":{"entity-type":"item","numeric-id":4329194,"id":"Q4329194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411676b85f53be41a3ee7a28adb090e5ce5d263e","datavalue":{"value":{"amount":"+0.88569254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4453049$61D5EEA4-F2BD-441D-BE91-AF8EA968036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26bf4f5d69d17c3f3d0cdbc9e15c39c90b88360","datavalue":{"value":{"entity-type":"item","numeric-id":5184418,"id":"Q5184418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89b2384ce94e1e000b83333d26e5ca196db044a","datavalue":{"value":{"amount":"+0.8561547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4453049$C57FD0A7-1AC7-4580-9659-80BF71E37E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27ea8900b9b1a261ae3e9ecfe2ba733b953d7d0","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f37169976420f58a6842508a4a048a56f471cee","datavalue":{"value":{"amount":"+0.83613354","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4453049$FBF9C523-BF1F-4586-B5C3-17A6B82B1CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f306ebbe06900317a01eb46705d3c86ad2c89383","datavalue":{"value":{"entity-type":"item","numeric-id":1318284,"id":"Q1318284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a21e68e571cbad45d9cbd040a2efbe384f9f34","datavalue":{"value":{"amount":"+0.8174759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4453049$FFC17DCD-6E04-4E3C-8F46-8A058A0147F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5600fbf9f805c22caf88b750ead1087d6199c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1801467,"id":"Q1801467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137b2acb1d5c77bb099bb5c51167d35b812db927","datavalue":{"value":{"amount":"+0.8168179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4453049$13DE3F9B-E009-4E0B-9183-A5503A6DDD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011da9fe8e28030487f6e928b5cacd8552997d43","datavalue":{"value":{"entity-type":"item","numeric-id":4473980,"id":"Q4473980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001fc11151ec9e3498859338caac486d12bb24e0","datavalue":{"value":{"amount":"+0.8144177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4453049$A7D4B51F-F770-4D36-98F0-5E8D558DB5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4453049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4453049"}}}}}