{"entities":{"Q3608894":{"pageid":5638800,"ns":120,"title":"Item:Q3608894","lastrevid":50592401,"modified":"2026-01-14T12:19:28Z","type":"item","id":"Q3608894","labels":{"en":{"language":"en","value":"Decomposing Integrated Specifications for Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523895"}},"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":"Q3608894$5A8E881E-926C-41C3-81CF-DF4BE01C63B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e24a034f68d286c873ec2bc2ac67a6178d6753f0","datavalue":{"value":{"text":"Decomposing Integrated Specifications for Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608894$0F3809BF-7E3C-408B-885B-FE85AF3F69A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e7f77137f6a943fb4aab824c2a392810cb061ff","datavalue":{"value":"1213.68384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608894$D7C3ADB3-B37A-4867-9157-F292B5064E5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cad461868314aecaf928f7b995ba5c015011e5d","datavalue":{"value":"10.1007/978-3-540-73210-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608894$30110339-95B6-4DDC-8047-0B1B85C4896F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"314a78888447fcebbe884e41d4d1f055a39bf133","datavalue":{"value":{"entity-type":"item","numeric-id":3431402,"id":"Q3431402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608894$FD9AE062-157D-4554-AEF0-79AFB0AE6280","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608894$C74C1E97-23A9-4933-B433-431EFE51AA12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608894$823DC77B-E039-4340-9825-99DBFDDDA10F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608894$774C3923-17B3-4C97-8B27-DB01A604740B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a904bbdce06bee5f8bd90c1beeb299f4b8212a4","datavalue":{"value":"5523895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608894$1B1C09F1-531D-4795-AB5A-4530DB91FA3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80bceea7913106028b9ae647cfd06d817136c8ae","datavalue":{"value":"integrated formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608894$6354E205-9621-4B00-B0ED-7EDAF35653A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615f2a3773e3a9a3bad386a540fbc6c58cfa22ee","datavalue":{"value":"decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608894$767E3871-9EEB-49AD-9072-21F1D5649412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608894$1F489207-34E5-43A5-A563-2C262D71ACDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb6e19dca5c1dfa9f0da602d3d5d30bf4fc82dc","datavalue":{"value":"program slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608894$466B8B59-97DD-4EE6-A10F-BFB2E69E83DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3608894$9838BB53-F5D3-47EE-BCCC-3448A432C22E","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":"Q3608894$4375DCDE-FAF5-4BD5-A938-B965203292D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a63dafe27f520f49b220883a150163e456786fff","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608894$EC1E477A-272E-4F07-842E-245051C091B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fa0dae3a5689a3658369bbdbe86699fbdfeafaf","datavalue":{"value":"W1519031983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608894$14B68371-CFE1-4C7C-9F13-A323531479F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b11db45e72bbeedd1ec5e9f0b19aef8220edf007","datavalue":{"value":{"entity-type":"item","numeric-id":3431403,"id":"Q3431403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1885408f04b2d05456b04f078d673f42351f16e0","datavalue":{"value":{"amount":"+0.6849799752235413","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":"Q3608894$B24C12A0-6426-48B0-BB7D-A9B7301B5BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e209e97a0629ef66ce7dfbb5aa88a6f7673bc062","datavalue":{"value":{"entity-type":"item","numeric-id":3608880,"id":"Q3608880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0257329b55e44baa06bed35b1472892c71659c7","datavalue":{"value":{"amount":"+0.6822925209999084","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":"Q3608894$E1C88797-48D2-43A6-8235-368679824030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d177f5648374796cc8b8f50cc42d6ef2378a02da","datavalue":{"value":{"entity-type":"item","numeric-id":5703816,"id":"Q5703816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d74db2ab7693d725102baf8ca87857141e5e635","datavalue":{"value":{"amount":"+0.6819594502449036","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":"Q3608894$704EE053-6854-4BDE-8B0E-C12AE033C5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cb1a60e68a2209f28ed72ef25da771b7175c3f","datavalue":{"value":{"entity-type":"item","numeric-id":4436973,"id":"Q4436973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfb6d30180935955943c4fc120278274b1a6c7c","datavalue":{"value":{"amount":"+0.677762508392334","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":"Q3608894$19E1BBB1-9E32-432A-A185-3DADA1D65A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4044957613758c09641ef42f18d2121ffbb01095","datavalue":{"value":{"entity-type":"item","numeric-id":2208303,"id":"Q2208303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce66d448aade85a5c3e4602a9cddd6070eaafed","datavalue":{"value":{"amount":"+0.6776965856552124","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":"Q3608894$723FB53C-831F-4342-AEC0-E09A6C546EB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608894","badges":[]}}}}}