{"entities":{"Q5096383":{"pageid":7125959,"ns":120,"title":"Item:Q5096383","lastrevid":41219809,"modified":"2025-04-20T16:54:26Z","type":"item","id":"Q5096383","labels":{"en":{"language":"en","value":"Proving the correctness of behavioural implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572208"}},"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":"Q5096383$A3F9F93B-B088-4A86-BB23-45CD265B1E9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71b06e20f1788e06398ded6cafb6d6fda41fcbf7","datavalue":{"value":{"text":"Proving the correctness of behavioural implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096383$466663D7-A3A3-4679-92A4-F392BDC6FCD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2acf9e7dc93541b2bfb5166db18b52d436004d29","datavalue":{"value":"1496.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096383$57EC56AD-DE6E-4A2E-89CE-E0E03DA96694","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986d7bb45c7a30f6c73bfe9837a43dd7fdd3bf26","datavalue":{"value":"10.1007/3-540-60043-4_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096383$0E41BF21-45AC-4596-AB25-3BD3CFFD988C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6480161792098e32949425ead8570d90a9967f","datavalue":{"value":{"entity-type":"item","numeric-id":671499,"id":"Q671499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$1F57CFFA-FAA9-4E0E-BE48-8268B27054F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$BBA88E5A-8D0B-4164-A2B5-59AB07D92F60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$F496C247-3F1E-45D7-8FB1-0FDEBF8396E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096383$994FDD1F-D650-42C5-A628-3B17B663E8AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096383$2DFF8FC4-D34D-412D-B218-A5AC8CD8C48F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c9fa589703f55c1a9bfab2b506ed0c910c399b","datavalue":{"value":"7572208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096383$43447127-955C-42C5-B0D6-B6D03FEF7A78","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":"Q5096383$5A4E07CB-3913-4B9E-855D-9EB0477E7B60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e32cedac7723e54f363ca846a42a472e352fdc","datavalue":{"value":"https://doi.org/10.1007/3-540-60043-4_51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096383$A546206A-1FD3-48A6-8A7C-4C7AE2A7223A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abab567b9b2663f6dda98b75c489abfcf8534a84","datavalue":{"value":"W1547567140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096383$097B48E5-F3EE-49A5-8D50-214725917CE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2befafb112dac54ca90221f0b09473209ec97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4537506,"id":"Q4537506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$888B7F8C-4B7A-48E6-BD94-6D348E7FD43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8c0a1c5a6789fc1a00bbb6e6b2a299b295d2e5","datavalue":{"value":{"entity-type":"item","numeric-id":671500,"id":"Q671500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$3BE484A5-AF16-4C4E-9777-7061855FD122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84698189a50e68a968ad8809e48eb018458ce59","datavalue":{"value":{"entity-type":"item","numeric-id":1127821,"id":"Q1127821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$F573981B-23EC-437F-A7C8-3B324578BF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd513c7c8b6510483a52190c8c99b422eefe9a","datavalue":{"value":{"entity-type":"item","numeric-id":1916354,"id":"Q1916354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$2BBB5339-E941-44A8-A1B1-56E0FFC66C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$F51F67CF-FD32-4F55-B751-E98E8DA8A3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093682f82b55047546d767040082e61c8c07c786","datavalue":{"value":{"entity-type":"item","numeric-id":4282672,"id":"Q4282672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$BCA47093-CD4A-45C6-A771-4EFA4C865C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$35B9BC37-2E1E-4802-8C9B-E8B01E4A5D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$C9DFA4CC-2AED-4CEC-A574-DA5BAE34BA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c56b5baa7311aa7f021a2b7cf0e35e07f302c5","datavalue":{"value":{"entity-type":"item","numeric-id":5522915,"id":"Q5522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$9903B520-8A3F-4FD6-A771-ABE6565C3550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d1f0f5487f8c0ee42819e7149f6be853525c70","datavalue":{"value":{"entity-type":"item","numeric-id":4729318,"id":"Q4729318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$BA9EE049-A732-4FB4-B978-0662C960CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba41f8ecd77f0632e922eba4a8dc824d5b88c3b","datavalue":{"value":{"entity-type":"item","numeric-id":3773301,"id":"Q3773301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$00A2F7DA-B4C2-44F3-81E8-541AD55E372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fb92aa97215cd52dfc07da2e9bd2fd28ab427e","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$BEA5D7D3-4101-41F9-8259-E057D2AF8F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096383$559630D6-7E42-43AA-906D-0595FC961B64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c0b247fdf32a6c29e6de07d9e661fb11c73f45","datavalue":{"value":{"entity-type":"item","numeric-id":1127821,"id":"Q1127821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5e9e785c0c9ed260dcd8d5af747f4fbf9c49ecc","datavalue":{"value":{"amount":"+0.93799925","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":"Q5096383$E91431B2-47F3-4501-A141-F8F49EDA3E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118aa8d5a3d1bf7bcd3b855c5cf661a63df8d4f2","datavalue":{"value":{"entity-type":"item","numeric-id":1119388,"id":"Q1119388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cbcd77a80baaf18785ed12b87258e19642b2c4","datavalue":{"value":{"amount":"+0.9104776","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":"Q5096383$0F500F88-9DFF-4BD4-816A-828D24F34010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218c873ec3550595796d46d881e98f5c8ae2789b","datavalue":{"value":{"entity-type":"item","numeric-id":3392923,"id":"Q3392923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1b13bea339d5e047e49ee508150a1beb148140","datavalue":{"value":{"amount":"+0.8981823","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":"Q5096383$F8EA9281-792E-489F-8D2A-C71F7880D54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b407e11fb90ddddd2e762b4f17d94b8119585b5","datavalue":{"value":{"entity-type":"item","numeric-id":3709866,"id":"Q3709866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7af0a776b371d6c37f8c2340dc07356019e108a","datavalue":{"value":{"amount":"+0.89200926","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":"Q5096383$FF912BD1-2E09-4450-A275-A5A8F3D4CAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f2c66a317739eba150e334bb656ae2895cd2e77","datavalue":{"value":{"entity-type":"item","numeric-id":3975145,"id":"Q3975145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a5710ae35b2bcb501bcabf83547408f8fc8e139","datavalue":{"value":{"amount":"+0.8866046","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":"Q5096383$5407AD01-6691-49E0-874D-633FC0775788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b145a259b764044b9a0bf8c27ec008e0e79a818","datavalue":{"value":{"entity-type":"item","numeric-id":3719796,"id":"Q3719796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f6c8de44fe339680a3ce2d125b3f8782bff0f5","datavalue":{"value":{"amount":"+0.8823034","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":"Q5096383$BCE5C8E6-371D-42FA-80AA-76DF5363AA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e1aaa0be958fe715be1b4b00dc87503e5eaecb","datavalue":{"value":{"entity-type":"item","numeric-id":4261314,"id":"Q4261314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d83e5317f72bf8bd061e20582c457718b88980","datavalue":{"value":{"amount":"+0.87971985","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":"Q5096383$A602DB0B-A302-4F23-BC7A-AFA751B1FC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407fc31af6dde38238e6dbefdd2c4736daff3aa0","datavalue":{"value":{"entity-type":"item","numeric-id":4436978,"id":"Q4436978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8eb05141a23bbde5effd4dac6e0b9c635cf781b","datavalue":{"value":{"amount":"+0.87438405","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":"Q5096383$E833ABA4-4356-477C-A863-F770BD17D833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7c8597d7cabf6d56cce506a7078c80e6f2e941","datavalue":{"value":{"entity-type":"item","numeric-id":5457268,"id":"Q5457268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f0ec31c32f2272c5e94a4eced73d7f6d4f2bbd","datavalue":{"value":{"amount":"+0.8741485","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":"Q5096383$08273AB9-8C77-403E-8577-148D243FEC35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096383","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096383"}}}}}