{"entities":{"Q3611995":{"pageid":5641901,"ns":120,"title":"Item:Q3611995","lastrevid":80815481,"modified":"2026-05-06T17:03:48Z","type":"item","id":"Q3611995","labels":{"en":{"language":"en","value":"Compositional Verification and 3-Valued Abstractions Join Forces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522576"}},"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":"Q3611995$99024971-61CE-4C8B-AB9E-4CF028567215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cb30f9a4aa3fe37e12a978bed57836e4c2a0816","datavalue":{"value":{"text":"Compositional Verification and 3-Valued Abstractions Join Forces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3611995$5E526AE5-20AB-4A5F-93CD-F0D097836427","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c104a9e45f55182c52657404404e77b7924704a","datavalue":{"value":"1211.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611995$BEB691B3-AA59-4072-8EA0-9CBBFBADDE59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d466241894adf80745e4c3d8ef26b1d78d945220","datavalue":{"value":"10.1007/978-3-540-74061-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611995$3F5D3A53-EF85-4482-8D27-222D199DF977","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611995$BD79D16D-BFAB-46C6-952B-53694C842309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611995$BE42E2DD-C98A-4F3E-8240-0A56A302835F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611995$A6B3E82F-224F-4129-9820-5CC385297DCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-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":"Q3611995$4F279E99-0748-4F57-B7AF-9CA4BAD35EEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611995$2B587B27-F95A-4A0E-AE04-979C1D3A9C1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afee7def8bb4e83c93403168507b0055671a49b6","datavalue":{"value":"5522576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611995$73321F6E-CED5-4289-99DC-05ADA96960D1","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":"Q3611995$09C7D4C2-453D-4570-A732-9A8EA7D1BE50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a24a176f7d66e71de317393785d2c41893ed6df4","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3611995$527F9ABA-F941-4049-90A7-1B440F7587D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ef0a7b1822dd5ecfcf2225c887e96aea40ec89c","datavalue":{"value":"W1509617869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611995$4932A721-B07F-4E76-87EF-93188D348B5A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5efdc6ae8041aeba2da4f8b379e9cd4087e37568","datavalue":{"value":{"entity-type":"item","numeric-id":2266991,"id":"Q2266991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q3611995$5EF40166-2022-4E85-97F8-6CDC4B65DFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d6189af099ca9ca02c5fd5516bda1e5d3b5332","datavalue":{"value":{"entity-type":"item","numeric-id":3648705,"id":"Q3648705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7141861b0a3c8f72db9de1c8be4366a65b7122","datavalue":{"value":{"amount":"+0.91546303","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":"Q3611995$7AA5DCFE-C9BB-4478-AAAB-B53988886954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1878bbd191b2694809928739d08806c640ffe2d6","datavalue":{"value":{"entity-type":"item","numeric-id":259065,"id":"Q259065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7141861b0a3c8f72db9de1c8be4366a65b7122","datavalue":{"value":{"amount":"+0.91546303","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":"Q3611995$5B64DAF4-AF54-479E-A315-330BEA916495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eae6e3221df0ff4a1b5b8b6246bdcae05f1271c8","datavalue":{"value":{"entity-type":"item","numeric-id":3060979,"id":"Q3060979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74bcf6b1f324cfa831570ce404cb5edbad1b8c6","datavalue":{"value":{"amount":"+0.8887283","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":"Q3611995$8277B5EE-A7A5-4227-942A-7A80E3731794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d84e244531f5cfe617e460375c8894d62172773b","datavalue":{"value":{"entity-type":"item","numeric-id":3345754,"id":"Q3345754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f028505932d7203dfaa1624104b6d5cdd03f6f45","datavalue":{"value":{"amount":"+0.88008296","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":"Q3611995$3E736AC6-6117-4EC2-BBE0-78962ABF25D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c270dc035825547c35d6bd73ac01bdfc061acd","datavalue":{"value":{"entity-type":"item","numeric-id":1784791,"id":"Q1784791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf647bdfa309f4624ca5d2b0ba2c1a258802eddb","datavalue":{"value":{"amount":"+0.876814","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":"Q3611995$A3574F42-4D26-44DE-B4DA-6B41F40D6C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa0c1d5ae5d86f00d4e12851e0e4f62fb2b183c","datavalue":{"value":{"entity-type":"item","numeric-id":4783359,"id":"Q4783359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0813c1ef8c6e0c6f5a8085d889664cd641573c95","datavalue":{"value":{"amount":"+0.8706815","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":"Q3611995$7C32707B-3A6A-40EB-92DA-6FD11B5890CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9975d8b900b3f9f5df1f83a9a6194ca8792c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3540064,"id":"Q3540064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caaedf24c76312457082c463f79e4b09f5d6f363","datavalue":{"value":{"amount":"+0.8702609","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":"Q3611995$84BC18C5-8388-4E35-9614-9F6A0EAEFCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3167a60da4418caddcdf42a86c9949cbde681f6","datavalue":{"value":{"amount":"+0.86806625","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":"Q3611995$51C2B8DD-7E4B-4A38-8269-6FA66F687110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional Verification and 3-Valued Abstractions Join Forces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_Verification_and_3-Valued_Abstractions_Join_Forces"}}}}}