{"entities":{"Q1346649":{"pageid":1357388,"ns":120,"title":"Item:Q1346649","lastrevid":47316790,"modified":"2026-01-01T08:29:56Z","type":"item","id":"Q1346649","labels":{"en":{"language":"en","value":"Property preserving abstractions for the verification of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741353"}},"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":"Q1346649$EB9966CC-15A0-41E0-A486-1174ACCBA3D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef6701194ee91521e08f2edb0d12c9765e90aaf","datavalue":{"value":{"text":"Property preserving abstractions for the verification of concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346649$8ACFB976-A6C8-4714-843F-0D515E88CEDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"353bf7e3d52638311a56cecfdaad91a3d7b07cfc","datavalue":{"value":"0829.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346649$8BE93406-5866-437A-8AFD-463E8CB33801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f1a2fc63f6375d75d7d2582572aca3e5ec09aba","datavalue":{"value":"10.1007/BF01384313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346649$9A494023-FE3B-4511-8488-EA306A5D5ED1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6ec27ef3077299abda8a55d823c78264525985c","datavalue":{"value":{"entity-type":"item","numeric-id":1346645,"id":"Q1346645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$61504A8D-8599-42B4-8223-0C1F4DF57A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$B427D05F-79AC-43F9-9808-A0102F018364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$0BB54CC8-8AFA-41DD-B38F-962932779807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$2B01B3DA-71B8-4950-AFEC-E5C3574B570F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$D2EE03F4-9AEB-49C7-AD0A-DB709FE2BA40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$05F9852E-60EE-4B74-BFCE-995478928F7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c22fff5067af428041487b6a008ee6b0a5e2859","datavalue":{"value":{"time":"+1995-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346649$952A3F07-5D1C-430C-A4C4-ADCF16B37F75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346649$8EE4F344-D88E-47BF-ADB7-F05C7B788B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346649$5B5842AF-DE58-4BEC-B153-3B549F608AB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb87f20df479389f279b478b68e0f623b9a333f2","datavalue":{"value":"741353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346649$5598E41A-38C1-41DF-A0CE-AAE15AF0A5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346649$D09C1604-3F19-48C2-A9BC-A901C7B9B348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8badb72b695e9496aeb1fc719ef3791866f988db","datavalue":{"value":"verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346649$AC62A4E6-7950-478A-8C26-C9E2572D5658","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$CDB21EBE-C938-4327-93D0-3D04C0AF9E48","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":"Q1346649$ABC75CA7-0D8A-4DB4-BE03-0D36956E40A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$BAF02712-AF89-4E4A-921D-B54EB90FF0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ec8cdee5c993dff7cc7451da7a82da8eaf8ea9","datavalue":{"value":{"entity-type":"item","numeric-id":4036555,"id":"Q4036555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$69FC2B92-1E7E-4130-8323-D38559A7C5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$0CC2F169-C267-4A0D-9626-48339120FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$6EEBD9B3-6E9D-4F54-BE22-A97CCEA1F92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15d80e47a1dbf6161b47b8b4326fb129601fac4","datavalue":{"value":{"entity-type":"item","numeric-id":5408396,"id":"Q5408396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$DC7F42BA-8C1D-43FA-A563-2DB88DDD6A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$30D2DD8D-9AF7-4343-9F9E-4904319E4569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$B99CAE01-FC3F-4F76-BDEA-DCDE3470DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7b9ba8ecebb08b8938828cf64be549901cbaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4028636,"id":"Q4028636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$21F4D909-ABAE-43AD-B5A2-0AAE48E9F163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$83982CFE-4CE3-4C9C-B66D-4F3DD51E0408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$F01DB198-78E6-4BBB-B292-C70C119A7D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$CEF1EBAD-9978-4B1F-8C42-4A45008C647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$2B6103EC-14A2-473E-A2A5-108892ADB2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$2C60CBF6-8CF0-429F-9CE6-CED41F90718B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$E877C221-1D7B-463B-BF41-174EF437AF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcaf2a67b1b2addf120399b0e67ded2fd2e9c66","datavalue":{"value":{"entity-type":"item","numeric-id":4175259,"id":"Q4175259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$DAAEFC71-5FBB-4FC5-8310-C067A7555184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8d04412ed2f19368989d7dcf5461a47681b12a","datavalue":{"value":{"entity-type":"item","numeric-id":3336680,"id":"Q3336680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$18C47DB3-26AC-4C2C-9D65-820984CC8928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346649$EE928757-BB86-4535-81C8-2C803F0783E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68f5c69fc5650b68363d7c9aded4bc3b2a40b5a0","datavalue":{"value":"https://doi.org/10.1007/bf01384313","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346649$0202D2CA-CED5-460E-85EB-64A9E52E1100","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0635e9f46e42974869aa7d0e9ebe164b8b4f9d0a","datavalue":{"value":"W1987073197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346649$63829EB8-9F61-4BDB-B7AA-1898904380A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4e011918a09c415d29b3a185963a0a40383408","datavalue":{"value":{"entity-type":"item","numeric-id":5044770,"id":"Q5044770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"092de4d0165841ec8f0074d0561f0729c4963346","datavalue":{"value":{"amount":"+0.8798448443412781","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":"Q1346649$7230A113-2CB7-42F2-95D3-EB49057690FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2215c66dfd04ad1aea1081f574eebeb2a8464026","datavalue":{"value":{"entity-type":"item","numeric-id":1350106,"id":"Q1350106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcec8c3d119eef10bff9f06e36916ee7b80ccd5","datavalue":{"value":{"amount":"+0.7810278534889221","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":"Q1346649$F7938C05-B8BA-48E1-9D29-4D2C8731F753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7dc2298258377d3ac3f98ed2a2f957612bcdfc0","datavalue":{"value":{"entity-type":"item","numeric-id":2722062,"id":"Q2722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c06a13967fa170198d4cf8603bbd9714df3f5208","datavalue":{"value":{"amount":"+0.7782426476478577","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":"Q1346649$E1826A2D-B09F-47A3-AC71-7CE02D999C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4959d0d69f6fc1b9b8c6c955b68aa191214eaa2","datavalue":{"value":{"amount":"+0.7757145762443542","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":"Q1346649$C9E721A8-3C69-4370-8A51-874973934107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cac1e774ff74dd3984fc2ef29bbe71dbadb54ab","datavalue":{"value":{"entity-type":"item","numeric-id":2163769,"id":"Q2163769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"608a136a8ba96b8d8c25601f190a23bba2bd4779","datavalue":{"value":{"amount":"+0.757932186126709","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":"Q1346649$664DE908-77D2-452F-9D2A-8AB0680FCFE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1346649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1346649"}}}}}