{"entities":{"Q3455833":{"pageid":5235233,"ns":120,"title":"Item:Q3455833","lastrevid":52414082,"modified":"2026-01-22T14:34:21Z","type":"item","id":"Q3455833","labels":{"en":{"language":"en","value":"Beyond 2-safety: asymmetric product programs for relational program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6520029"}},"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":"Q3455833$AD92F2BA-14E3-4C02-8028-8A1D9797FA39","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d10443a1b19466f1d2e7a36f265b10ed176ba2ba","datavalue":{"value":{"text":"Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455833$4ABC1CBC-4825-417C-845A-7AB422B8DF4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45a4767085c28133f695bf9b5a10814878ae43dc","datavalue":{"value":"1419.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$6FC281D5-6753-4194-B2EA-695E7A001236","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b392ff0f94d4fa5e8e6b67036f20bdc7fb0ca10","datavalue":{"value":"10.1007/978-3-642-35722-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$323F68ED-C263-4A9D-9B92-E7212F47568E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$B897E56B-FEC8-492F-BA65-568DB0205BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd3e7effe093cda355e6b89f5d1d077014819669","datavalue":{"value":{"entity-type":"item","numeric-id":2374300,"id":"Q2374300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$DFDE23CC-30E3-44E4-B0B0-2B584A8CAAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a1eb956d7abd22e275f97fbac2b0f89c31c8a45","datavalue":{"value":{"entity-type":"item","numeric-id":2374301,"id":"Q2374301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$C9E96332-F4D9-4802-803C-FEECCB7FD89D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$181DBAD0-A5EC-4FA0-8B9A-CCFFC249E060","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455833$73213D14-7BDB-4113-B718-553717B839B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$6C5980A9-1A00-461E-887B-705AB5A03BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$1148032B-9A4D-4B89-9CDD-2B6420E9579B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$3AC9EBCE-A7EC-4437-8374-BE978F74CDC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a4901d77c1b38b4ccb6699c97b994d8f3a9e8fb","datavalue":{"value":"6520029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$C8F839C4-D295-4480-A6EE-7A940306E189","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$49178D04-1710-4CF6-AE6E-49AFAF5104E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b8bfcbbb8584ed9cd8fa8ae699d0634f4084a68","datavalue":{"value":{"entity-type":"item","numeric-id":21717,"id":"Q21717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$6EB88DD3-2D8B-43A6-BFDD-ACB770040A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd73c0a588eca90d6b4027348c417905031d8d73","datavalue":{"value":{"entity-type":"item","numeric-id":33279,"id":"Q33279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$2A39ACC2-3CBF-48C0-B538-D77C49DD57D6","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":"Q3455833$E9E79612-B011-4E20-8B2F-4DC75CEBDDC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a1a91092cfc6f41141f4431a1e7e8e9fd4e4597","datavalue":{"value":"https://doi.org/10.1007/978-3-642-35722-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455833$5753CF3C-0C19-4F11-AA4B-BD800F8F2BBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0061b01f411d51ab73ebe48ebda99d4f7dceff01","datavalue":{"value":"W5424990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455833$B72EB5E5-E6A5-44D4-9156-1687108A718A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"547c836be3ce124d486806c652c781a695aff350","datavalue":{"value":{"entity-type":"item","numeric-id":5458410,"id":"Q5458410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$1AC73A37-0904-457F-88F1-EC005719E0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$A02A38CA-7E00-4C2B-A2D1-FFC3D9D379C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cdb65d4484ce30066c940d4e4480dbbf233292","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455833$BE061D16-0E6D-4EA5-98BB-5695FFD893EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4392861c3eb71f2ca17be6465901766e073b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc374cc63065fbf2d5519f5d1b4827c7dc4b9dea","datavalue":{"value":{"amount":"+0.8508692979812622","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":"Q3455833$76842FB3-22B1-4FB9-A805-BA7C6996C7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2634e53a10156fa2b95632827a647b59604c0cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4636558,"id":"Q4636558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70bbf32e9e477ed8a02d767a324454f7ec2853b","datavalue":{"value":{"amount":"+0.7689265012741089","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":"Q3455833$AC21F6D2-304E-421D-A7BD-3C91C6C2E75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab751a4c310b5cd7a65ff31b5b7cdb6c1b5af8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2323992,"id":"Q2323992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2782851e998a4ebd3c155e62e627241e2b7e080","datavalue":{"value":{"amount":"+0.7663328051567078","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":"Q3455833$947A86F4-6BF4-40DB-AC6A-7ED56511E897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ded45e887ea185744e20a58699abb596f0374f","datavalue":{"value":{"entity-type":"item","numeric-id":3095237,"id":"Q3095237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57938caa3c4857ed609d2d94552f01389326f135","datavalue":{"value":{"amount":"+0.7551503777503967","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":"Q3455833$4B965528-EE6E-4782-A3CB-EF39261528D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cc0e1b16c769010b9160f71d8491515f57b776","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60838167d8bcc9840902f7ca040cb6738eb3ace1","datavalue":{"value":{"amount":"+0.7464205026626587","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":"Q3455833$1B8D7A35-5EE9-42DE-8DA9-6181C49DA764","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455833"}}}}}