{"entities":{"Q4518869":{"pageid":6548462,"ns":120,"title":"Item:Q4518869","lastrevid":41858359,"modified":"2025-05-09T03:33:26Z","type":"item","id":"Q4518869","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538014"}},"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":"Q4518869$8A45A0BF-2F8F-4B5E-A9B2-88FA2C946448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89b78e41c736e33a5736aa34d37093c038a29466","datavalue":{"value":"0962.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518869$09E1A854-5234-40A2-9429-C1AD556CB979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5deaebabff363ccd09de3116451219443cf0d48","datavalue":{"value":{"entity-type":"item","numeric-id":1589584,"id":"Q1589584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518869$1F096CDA-9189-444D-9BDC-24549A5B741D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-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":"Q4518869$437BAB7D-4FF0-4451-AFBC-694106258B54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518869$E618EFC9-ED2D-4088-8090-2CAEE939B591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518869$455162BB-E696-42A8-A250-BB45A5869D5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18eb33f2210337b3ff5466044b26611f514694dc","datavalue":{"value":"1538014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518869$8B388B23-1185-43DB-82F4-986A5DDADB81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0717a102994139187744471354dd4cc15914ea92","datavalue":{"value":"formal verification of reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518869$080063F1-4F79-4DFA-82AF-95C2F7D72275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518869$E1DFC63A-BB6E-481C-BB0C-4FE3127E7B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518869$4EF9EA16-F955-4947-A943-FCC9ED0C0DC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518869$72160741-84F0-4A63-9803-58763B851411","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":"Q4518869$5B98875D-503E-409E-8E13-BB17F2ED70F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813e48bccffc4c618f2b4ae92177e0cde7f22726","datavalue":{"value":{"entity-type":"item","numeric-id":3176378,"id":"Q3176378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9480e2cd7b89025c36683329e8929fd9c576199","datavalue":{"value":{"amount":"+0.94856405","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":"Q4518869$7AC7FB66-5C02-474F-92DA-42C241D57896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc034118f46ddd9a537f305e0522c51e18beea8","datavalue":{"value":{"entity-type":"item","numeric-id":4536588,"id":"Q4536588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c3e43f6fb9eb65bda892ce8e923ecbcc6150e4","datavalue":{"value":{"amount":"+0.9416343","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":"Q4518869$446D282E-08AA-4955-A9C4-9AFB84E7D846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bef71d362776e4abdc52e85f2e4fb153f8f81b","datavalue":{"value":{"amount":"+0.9319182","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":"Q4518869$E5F3B94A-4659-403F-BD0B-65FEB938BFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b487f5c2b17f6536f2e45341ad5fc30697ee540","datavalue":{"value":{"entity-type":"item","numeric-id":5014803,"id":"Q5014803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ceb731fb3e8ae8a7f0f2fce559f28da118c1880","datavalue":{"value":{"amount":"+0.91682386","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":"Q4518869$DB82551B-BC91-4F88-AA23-4E919DED3E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbe7ce9e5a17802f30be35abe4cc21c5a3fbd4d","datavalue":{"value":{"amount":"+0.9078189","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":"Q4518869$50815636-11FF-48D0-9528-3BB7A08D909A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71537978e6eba52208eaf0885350004f62bf6048","datavalue":{"value":{"entity-type":"item","numeric-id":4364538,"id":"Q4364538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea615b21df5ece24d86fed53b2c949a039c93f39","datavalue":{"value":{"amount":"+0.9071386","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":"Q4518869$1E1314C9-EF9E-495F-8EB4-9826B7A574AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6d36d0f86595855f8cce4e7301439fe4ce05d8","datavalue":{"value":{"entity-type":"item","numeric-id":3512435,"id":"Q3512435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d947003c3b5d72ccc9a617ec3d31e757d8c4797e","datavalue":{"value":{"amount":"+0.9062102","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":"Q4518869$0D2C999A-E214-4AAD-A6BA-D059F26FAE1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518869"}}}}}