{"entities":{"Q5503618":{"pageid":7533178,"ns":120,"title":"Item:Q5503618","lastrevid":101524298,"modified":"2026-06-06T01:32:55Z","type":"item","id":"Q5503618","labels":{"en":{"language":"en","value":"Software Verification and Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492762"}},"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":"Q5503618$554A1F42-49B4-44C9-9CDD-1BFDADBDA954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a095098edec6a097d882b75ad0f21c2fa6a0d10d","datavalue":{"value":{"text":"Software Verification and Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5503618$32EFE69B-F7FF-4B67-8D27-5211F9915FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2236f69d5ac147655260a3527d85ad6e19b5e2c","datavalue":{"value":"1169.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$308E287F-99CE-4B76-94DB-B2935B6A3CE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2339a9dd93d49ee506a8d2d09a6242dce5d3172","datavalue":{"value":"10.1007/978-1-84882-240-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$C4E6A156-DFA2-4D7D-A6E1-E6C1946CF4D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63051f8af1f06c2bed73df44a8e8b8aa2f1e2a8a","datavalue":{"value":{"entity-type":"item","numeric-id":1110307,"id":"Q1110307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503618$A754B175-4051-41F3-A2B3-1D8124104E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38f7d3acdc0b54a21fb5a8598a551eafa6a4c96e","datavalue":{"value":{"entity-type":"item","numeric-id":1797509,"id":"Q1797509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503618$7C0AD0DF-595C-4404-AFCE-F220EDBDC969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5503618$BD8507E1-991A-42AB-B0CA-F1229C7653F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$F29A02F0-47E8-4A41-A9BA-B0A90B1D7A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$00ECF8EE-CFD1-4FB4-91E7-1304F0C23DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$0E8BAE02-CF0E-4773-80F2-ED5CA5C1A728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$663B26F8-F0A8-4E86-AD85-A2685406DD8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9dc013916c05e19dc8eef52ae4eb2ea9102fcdc","datavalue":{"value":"5492762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$B72EF46F-8E0E-4B7D-B06E-55F4A60E7BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503618$C66B2C18-A8AE-462D-BFF0-748C753068EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5503618$C59285A0-6466-4F63-89F7-8C9B5EDF895C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5503618$3A58840A-5D0C-4733-BCEF-0E0E224D22BB","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":"Q5503618$CD4B0747-060A-4524-A5A3-D00567B83557","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75735234b5bd4f9166b352ff1aaa36f94920f24c","datavalue":{"value":"https://doi.org/10.1007/978-1-84882-240-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5503618$A8184284-C643-47C6-90F3-2F17A4FF3CA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"deddf069052b0bba8affc67f37b9356b6112a3c4","datavalue":{"value":"W1642730893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5503618$12CB3C94-FD84-4528-B643-5307BA533111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233aa3e771e118f541d580d95f35673111f498ef","datavalue":{"value":{"entity-type":"item","numeric-id":3426556,"id":"Q3426556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0b11c5d32f323fb2503a20b753e737352dda671","datavalue":{"value":{"amount":"+0.7946267127990723","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":"Q5503618$AD35C03E-DFE1-4037-BC42-FFBC6624B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfafd275064da6b0ebc87c786ce818be883f9d3","datavalue":{"value":{"amount":"+0.7795410752296448","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":"Q5503618$D0AF6743-A0F0-4B15-9ADE-5AB757FE71A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc892da32762cf308c1b2f78485704bdd7b58565","datavalue":{"value":{"entity-type":"item","numeric-id":3998467,"id":"Q3998467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4acb827bb2aa6ba19d1760c319a570052b5dac","datavalue":{"value":{"amount":"+0.7722364664077759","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":"Q5503618$2AFC1261-8336-4070-A709-F5FD8F52F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018780f278d91b1e97c8f1940276e2350ff28205","datavalue":{"value":{"entity-type":"item","numeric-id":6039756,"id":"Q6039756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ccaa07707521baadaacb9c2d9fbf23fa0ed7fc","datavalue":{"value":{"amount":"+0.7722361087799072","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":"Q5503618$1493B49F-B631-4C46-95F7-7E28B08F4C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e422f4a977cf66d695be53ccb7e4c03ba7b45df2","datavalue":{"value":{"entity-type":"item","numeric-id":3126250,"id":"Q3126250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f10574b23570b5c7f46fcdd45ddbe2949653ff83","datavalue":{"value":{"amount":"+0.7623160481452942","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":"Q5503618$6949B98D-88DB-4C2B-8849-D32D0AE11366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Software Verification and Analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Software_Verification_and_Analysis"}}}}}