{"entities":{"Q5353290":{"pageid":7382864,"ns":120,"title":"Item:Q5353290","lastrevid":101066162,"modified":"2026-06-05T23:47:57Z","type":"item","id":"Q5353290","labels":{"en":{"language":"en","value":"Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6772038"}},"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":"Q5353290$55272356-6A8A-4E95-AB50-6BB4813D093B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b5acd6a6ce3d94c9749795caae5620a0be7340d","datavalue":{"value":{"text":"Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5353290$46EC39AA-CBD8-42F5-B05A-6B185B538A42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c642485aab8ee93ed7dee6e120a9b4e062027341","datavalue":{"value":"1369.93379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$C8A48EE3-2A2D-4DBE-9B1A-50E380117E53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6e4a474e4572e947923b22a2fe574a389557fb4","datavalue":{"value":"10.1109/TAC.2013.2248255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$BFDA0321-BF98-4CF7-804E-FC12B1F869E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353290$93D696D5-A723-4AEC-9F41-974D3DDD6823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea268a7da339aa3c80528c4c81a247a7f061be86","datavalue":{"value":{"entity-type":"item","numeric-id":481357,"id":"Q481357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353290$D4A2605D-07C2-4D2F-B860-D4B765FD067C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5353290$F40645A5-84FA-45FF-A769-0D22CCF18F6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c67d8078e1a5d9d2033371c1c5369954e233b550","datavalue":{"value":{"time":"+2017-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5353290$F72D793B-1DD6-4025-B6B5-D7F6010DB432","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$5E42A512-8428-4F83-9324-4BD902EE45FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$6BCC2962-A7BB-492E-97B5-B7ECF47DE161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$B84AB40A-6D86-440F-9B8E-474812AC45A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bcc8522b7155c790518543881ff2f94efab90bf","datavalue":{"value":"6772038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$54CAC811-6D5D-4700-8BAA-E609C9AFA970","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":"Q5353290$3C20C811-A8A0-4F77-B336-61B57B858593","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfb37671784b880664e4b1e4da958c92327a0caa","datavalue":{"value":"https://doi.org/10.1109/tac.2013.2248255","type":"string"},"datatype":"url"},"type":"statement","id":"Q5353290$E6CD6435-0E8C-49DE-9327-0E588A36D427","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a832b90ebb458e2622fcc05f9ce910c20d495c27","datavalue":{"value":"W2159206957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5353290$8BB5BC03-792B-49F4-9FA4-A4DCCE75440E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e972c052e22115b157b27f0544381743d683bac","datavalue":{"value":{"entity-type":"item","numeric-id":5168410,"id":"Q5168410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4763b8edff8389e1e65e6fdaeaa1f7fbad0b5013","datavalue":{"value":{"amount":"+0.9679809","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":"Q5353290$69E8D369-66F2-470A-B0D7-23FC804A9F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4888115fd1d9ef6201c20fbcb3d9b727335d8ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2197583,"id":"Q2197583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8831fdb7bcfeaedb8093815f5cec8d1eb3ff3a79","datavalue":{"value":{"amount":"+0.9375926","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":"Q5353290$BEC79F76-5CC9-4551-A460-319E78B1ACF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6d79ba80c25301b43b7209a8ab9685f8355d45","datavalue":{"value":{"entity-type":"item","numeric-id":262429,"id":"Q262429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97ff58884aee0716a8ff2e048dc158074d18699","datavalue":{"value":{"amount":"+0.92558","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":"Q5353290$D31D682F-0F13-4C25-99A9-8E1C9A8AC9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4c2d31bedd4d37c446a8611d46d3282ef66e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4635650,"id":"Q4635650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbe8b538d3f2cdd19dc93938b99bd5ebbc6c566","datavalue":{"value":{"amount":"+0.90820765","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":"Q5353290$75E580E3-16CB-4CD8-A4A0-D77F455F7EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e835a3b5e5edffa2fb43d8663a84d99bcbd95a7","datavalue":{"value":{"amount":"+0.9014024","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":"Q5353290$1495E706-A178-4A7D-B795-5774E94DAD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05a96e7770c73a39d17464df9a315aa5df5be47","datavalue":{"value":{"entity-type":"item","numeric-id":5716749,"id":"Q5716749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75335460e33dae6084dc0a83accfcaa69a050a1b","datavalue":{"value":{"amount":"+0.8996055","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":"Q5353290$83AEB1DA-D43A-4840-91C4-4ADA4FA41199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ff435e16bd6ea7685b7225ae0e32a42cb4bcff","datavalue":{"value":{"entity-type":"item","numeric-id":2147689,"id":"Q2147689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5036f16694bf1a5f21627adbbcce75535213543","datavalue":{"value":{"amount":"+0.89803493","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":"Q5353290$72CDD7E6-91BF-478C-9096-6B1F5C3AB318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438725535e326362f431c7d6fcec94651f569fe2","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a79d15a1708cc8b0be577b72cbeb41918c6b15","datavalue":{"value":{"amount":"+0.8937347","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":"Q5353290$8F55FC68-21E3-4FEA-876D-E8995544E0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11d61803136c1cdd105b1dc2a43a3a01b02ff7a","datavalue":{"value":{"amount":"+0.89259076","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":"Q5353290$508D1C4F-BEC5-4027-89EE-EB8DF689AB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5f7e31f9b1bf2898f94b7fb1aa41d4152ddef5","datavalue":{"value":{"entity-type":"item","numeric-id":1951610,"id":"Q1951610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0ec95e8b5b704ac31d58bac291f2e995c207b66","datavalue":{"value":{"amount":"+0.8907131","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":"Q5353290$282E0A1E-9E50-4A17-943B-D00059879ED1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions","badges":[]}}}}}