{"entities":{"Q3394904":{"pageid":3405607,"ns":120,"title":"Item:Q3394904","lastrevid":46124359,"modified":"2025-12-23T06:18:45Z","type":"item","id":"Q3394904","labels":{"en":{"language":"en","value":"Formal Methods: State of the Art and New Directions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5602958"}},"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":"Q3394904$03CE343C-1E78-4349-882C-3166EDB48E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"749b4a23ed7a24dc242dc88e41f3484127479d32","datavalue":{"value":{"text":"Formal Methods: State of the Art and New Directions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3394904$34A4D20C-9989-4F51-8589-A65CC414BBD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f59cdf603423d840d9cb972a17d143e95347c2f0","datavalue":{"value":"1183.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$0CA120F0-285E-42CD-A218-A6399000A989","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e24f781f98ddfae3a58983963ec2ad574bba282","datavalue":{"value":"10.1007/978-1-84882-736-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$8F855A54-AC3C-486E-9DFC-87DC8834668B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b166ae75e722a83b8bddd2a19323f18c1176021","datavalue":{"value":{"time":"+2009-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3394904$681265E5-5F89-4CC8-AA8B-5F8CD65C4212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$8E8249C1-F3E0-4948-AA1B-6E9D0DBFDF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$6134C123-9DB5-42EF-BC18-D60E57024FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$011EAF9B-23AE-47EC-BFD7-D6EC9C7D4172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"621c5eb61e35215bb5d90ba240e258b1da91aac9","datavalue":{"value":"00B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$5F478096-206C-4554-932C-5D6EE9EFA937","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b50a853a57d9e6da8d0e9c59883c5657848ba381","datavalue":{"value":"5602958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$2E43F637-F89E-46D1-BEA4-BFC9B0FB6ED9","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":"Q3394904$F73C027E-594A-4B23-A5F7-4DD04D34F528","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"debfc2af025f10d6422d632f824f0e5e2fc6533d","datavalue":{"value":"https://doi.org/10.1007/978-1-84882-736-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3394904$0FC330F3-7419-4127-96C6-8F6B0450AC6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b789d890e8d3a30587d10e9639d909b24b81be74","datavalue":{"value":"W1566986515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$91034380-3747-4B9B-BAF2-34AA5A624DD7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fecbd0bd50de4cea6052de77341046dd650024ab","datavalue":{"value":"Q56449456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3394904$62A3943F-901B-453A-BC7A-AC8BAE7500D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602299dd09ef1987edb6e4f3064628a940d11c81","datavalue":{"value":{"entity-type":"item","numeric-id":2147686,"id":"Q2147686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b362b2cbc35e5af7c7b515478c71d67dddb78da","datavalue":{"value":{"amount":"+0.86229056","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":"Q3394904$88DD4F8C-FF04-49E2-9093-9947D69A4135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4771774fba8ce59fe856391df6f24c0ae8bf7e","datavalue":{"value":{"entity-type":"item","numeric-id":2721098,"id":"Q2721098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f032c692f5f80f3085bc5fe602e6633b4f794849","datavalue":{"value":{"amount":"+0.8590461","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":"Q3394904$B8FCCE72-3A53-4DAA-8DE8-0DF8F172D511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778642f63aefb2639d0544b274360fc7c635b2dd","datavalue":{"value":{"entity-type":"item","numeric-id":257299,"id":"Q257299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899b54a017a8ab9071038fb8fbfab362f611dfc4","datavalue":{"value":{"amount":"+0.85900354","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":"Q3394904$13C150CE-475B-48E0-956D-9898F9A78BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c645cd8cd94a98ea21d432f9be855cab856054","datavalue":{"value":{"entity-type":"item","numeric-id":2388714,"id":"Q2388714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a525af1c8d8f88300ef38dea5b81ba10e998ab5c","datavalue":{"value":{"amount":"+0.8575437","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":"Q3394904$14965CF7-9840-480E-8696-5308E842FFD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ddf213ce66b6ad7ba7f099d044eb5a42b1d56f2","datavalue":{"value":{"entity-type":"item","numeric-id":4520106,"id":"Q4520106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a315896af7e2e58d39f13c819ea0f06229b3e0ce","datavalue":{"value":{"amount":"+0.8566244","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":"Q3394904$45605872-0810-42B2-B59E-5186B8B69D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ee0161eda379d508f03734ede606fe00296992","datavalue":{"value":{"entity-type":"item","numeric-id":4610434,"id":"Q4610434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3ea64a5888e7dd052160e7034dbea8fb70aa4b","datavalue":{"value":{"amount":"+0.8507778","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":"Q3394904$815413C3-FF23-41A6-BF46-FFCA819B79DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ff78072d675f36c16af879ad5feded1ff774df","datavalue":{"value":{"entity-type":"item","numeric-id":2763287,"id":"Q2763287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07812efb145d263e7ad285668327147253239c2","datavalue":{"value":{"amount":"+0.84644544","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":"Q3394904$DB76AC48-A18F-4650-B533-5E691B1B5BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a7137aac244cda029ec4b480539407939893b","datavalue":{"value":{"entity-type":"item","numeric-id":4499181,"id":"Q4499181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b51a8db259be2903e1cccdd0b9eb4d5a7b13ff2","datavalue":{"value":{"amount":"+0.8377147","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":"Q3394904$F259FB74-7408-42AD-A9B3-109C983945DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3394904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3394904"}}}}}