{"entities":{"Q1801499":{"pageid":1812241,"ns":120,"title":"Item:Q1801499","lastrevid":72988971,"modified":"2026-04-14T09:13:40Z","type":"item","id":"Q1801499","labels":{"en":{"language":"en","value":"Using partial orders for the efficient verification of deadlock freedom and safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 205353"}},"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":"Q1801499$7F6217C5-7B93-40A8-8DD5-A9A820CB4F0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a51b34830d4ffcb6fec2d6e07bbc58143c17ede6","datavalue":{"value":{"text":"Using partial orders for the efficient verification of deadlock freedom and safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1801499$0C591DD4-9339-4611-926B-1E1ACD475DF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89270d96624af44f6739cf0f137a55490e73eca1","datavalue":{"value":"0772.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801499$47D89255-AF11-479E-A38B-D216CF45C057","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d29a78a3998fd4d978cfd28ba98972e6a9ae282","datavalue":{"value":"10.1007/BF01383879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801499$2F93B6B8-936D-4406-A475-314828498A99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$F652EB96-B8FD-401E-83C6-1F0AAA921557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$3E08C931-612B-4DD1-B026-07DE4DC35052","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":"Q1801499$9A64DA43-B9F3-40CC-8AE5-3F83AEFE5ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1801499$F90794A4-6E59-45D5-8F00-813E4C341D72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801499$27DD659B-FBF7-4B5B-98E9-56054AB3D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801499$09EFEC5C-9FB7-42E8-93DD-584CF63B4280","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3db3b2d4240db0dc7a24da2232bb03c7c92f7523","datavalue":{"value":"205353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1801499$4A145749-A277-404E-8799-C7C9A3A24281","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801499$CF526060-28D4-4E15-80E6-31B56F368827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd653611e95105a89470e4ecb48e4a5dd7766f50","datavalue":{"value":"state-space exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801499$B06B3A96-0E9F-43C1-B7FE-F6CE797EB9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801499$0E0C5E09-A888-458D-89F0-F9296E019C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0c57ad59cf3d0781c61ff6711d6e05601a6f7e0","datavalue":{"value":"state-space explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1801499$456AB5D9-39E5-4E07-AF01-64A42DBD65BD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$F4D60BAC-F499-4A00-A7A0-26D7A6E0E78A","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":"Q1801499$0AD840E2-8AA5-4137-BE9E-67EA5A54CEF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$E29F5F03-A85A-446F-83AA-DCD1A4A27BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$CEF85CB0-6968-4767-92DE-22DE41AF26E8","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":"Q1801499$64D56CC0-1543-4DF3-B0BA-76A15D563F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$785F1020-4379-4A21-B1BE-3CD5054CE9F6","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":"Q1801499$60D32015-4E3E-46BD-8A2F-2C1B8F925EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$6D2C738F-6993-46C3-A204-90E8F62F0E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60502daf1ba6abe18c2c96f496fb3463e9b5dec3","datavalue":{"value":{"entity-type":"item","numeric-id":3446820,"id":"Q3446820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$C3E0E25B-BA25-4813-B114-4A0723DBFFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$642F1166-B845-4CF4-8F15-F662EAAB1F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$FD1C2CB2-FF51-4ABF-90F3-FF0F89255565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$72CC02F9-13EC-4AEF-BF44-01B4F2B6F45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$447AA2B3-9CC4-43DB-A8F2-579EC24EE084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1733693410774cead818d7423d3337d4315e81","datavalue":{"value":{"entity-type":"item","numeric-id":4037379,"id":"Q4037379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$E84AE649-B188-499A-9D49-3D39E1D42438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7b4581bc83587212b62cb05e1a5626286213a57","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$D6019D06-3D2F-4985-8134-BDBE54C3BB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$236650AB-2E10-4FC7-98FD-CD9FF170BB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a582208fcd11f765e61b0b568f3408400094182","datavalue":{"value":{"entity-type":"item","numeric-id":4037383,"id":"Q4037383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$AD6A249F-7754-4844-A79C-14E2AD1631F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$89D69D26-DE77-49FF-A05C-ADF925DE155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1801499$830370B3-9CEA-43D4-B904-E6694A56BD07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eeb509b73a042deebca797bb04c4d9ff9979f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77d0ea380d05d35f5b85e048d5f2336ed34bfdb2","datavalue":{"value":{"amount":"+0.8041309714317322","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":"Q1801499$78048258-B88F-4429-A2AE-CFA620DD29D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0d5db590ea969e7aa01848f74c705bbeb162d","datavalue":{"value":{"entity-type":"item","numeric-id":4353640,"id":"Q4353640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90071237314765a31b8c644f88c2176f4b95f00","datavalue":{"value":{"amount":"+0.7679409384727478","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":"Q1801499$8EF29595-AB76-4EC0-BEF5-CD73EB4B98D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ae1e0daf532c0b5e3773b8912de1969334d6a2","datavalue":{"value":{"amount":"+0.7572160959243774","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":"Q1801499$1282FD3C-A9C2-4F6F-8641-7BA53B87F601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f804cf18159ddb207bf79069e1cdbb9160b6a7c1","datavalue":{"value":{"entity-type":"item","numeric-id":580970,"id":"Q580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9c6873da9668ccb139a45766752d088f870453","datavalue":{"value":{"amount":"+0.7534136176109314","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":"Q1801499$4DC3535C-8095-4902-84A4-864D469D0B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aee0f87c37757ebf208a511a6c817e3e0be7699","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60a54584861435b111874acf58bb35e4ab5d581f","datavalue":{"value":{"amount":"+0.7530336976051331","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":"Q1801499$FAF80C4C-A113-4529-8115-AD7524854664","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using partial orders for the efficient verification of deadlock freedom and safety properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_partial_orders_for_the_efficient_verification_of_deadlock_freedom_and_safety_properties"}}}}}