{"entities":{"Q5172645":{"pageid":7202217,"ns":120,"title":"Item:Q5172645","lastrevid":52191050,"modified":"2026-01-21T03:17:28Z","type":"item","id":"Q5172645","labels":{"en":{"language":"en","value":"Abstracting and counting synchronizing processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397679"}},"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":"Q5172645$26F7C9C1-64CA-4828-BC8D-9CD05FF89BD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06a655bfbd1038b858115d9ff3de46a88730d441","datavalue":{"value":{"text":"Abstracting and Counting Synchronizing Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5172645$98EF914A-576E-4D6E-89B5-3A5AFE527DED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ea424ef9b44876afe6d0cd2ae54d376cea52e92","datavalue":{"value":"1432.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$EA4E24DB-5B25-4A9F-94E1-6E5BF6CA7F7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c045576cbe1c92dc8e9087541b3d6fd108f66e7e","datavalue":{"value":"10.1007/978-3-662-46081-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$62660AEC-41B9-4984-A520-4D616189ED0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d44540ef88d43d2d362ac5018344ddb3ef76fc0","datavalue":{"value":{"entity-type":"item","numeric-id":2796042,"id":"Q2796042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172645$8FB8C9BF-6F6D-4DD5-A32C-0EFAD844A8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172645$AB28AC63-C3C5-4F70-A9E4-2DDF655D0054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f605079e493fe7f06005c0f959e04cefac427078","datavalue":{"value":{"entity-type":"item","numeric-id":483963,"id":"Q483963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172645$1F306364-89EB-453E-9736-40DCBAFBC115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e9518156ec50c89dcd0c85ef395442fa254371","datavalue":{"value":{"entity-type":"item","numeric-id":483964,"id":"Q483964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172645$40FA27CB-B011-4589-AF6B-3EB00D305D9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5172645$8CA99CBD-DE40-44D5-B27F-11E2A5F509C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5172645$9B8683EA-39EA-41DF-BA2F-5DC6CDA2777A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69bd50771e0b36dfdb4b437ffd63ff99747b5bb4","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-111739","type":"string"},"datatype":"url"},"type":"statement","id":"Q5172645$C35AF244-8F38-41F0-BED4-1FBFC6C22A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$8ABCED1E-D6C3-46BC-A6E6-3F583DA084CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$6C567AAA-2836-4CD9-A1B8-2377BC8BFC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$9D087889-CD93-4A14-AFA6-EB7DEEDF6DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$8B0B51BA-DF85-4A81-AEF2-2B084358E78C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"917d856a18a951ede04ae0f3b8092169806fb541","datavalue":{"value":"6397679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$A366BA2D-A2CD-4263-A619-0C65804978CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$116BAB7E-8A35-4B83-9FCD-0E5A6B5E5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4021a5305187ae6dd420a3d222c45ab6b651e2a2","datavalue":{"value":"counting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$AA0F9BC4-2A96-49A0-BDE9-E0FAE2948802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1588a2a23e9bf24a48c5678a541cb479494f0b54","datavalue":{"value":"barrier synchronization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$05BBF03E-8284-4287-98A0-4D306DE45D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e83f52178ed96da8aa30580e5d93e51d8336ebe","datavalue":{"value":"deadlock freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$2CAE9F24-E7A0-4B3B-AE86-FFA219D3A9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"705d96611ec978b0e41fe65216c3c31eb890bfd1","datavalue":{"value":"multithreaded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$2ADD60A4-B9D4-4E09-9E3C-697FF6056181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5af0afaac8fd7c14ae66213cb48b298e3167893","datavalue":{"value":"counter abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$1A92DEFB-D4D6-4047-92C5-6D29DCEC8B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$8729D114-BBEB-4B38-BFE7-E83D5CBD8796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91cd1362b33e2e2c41ccd5809ec0004095832876","datavalue":{"value":"constrained monotonic abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5172645$DAFF1888-8249-41B8-A264-6975046718E8","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":"Q5172645$E6E40DF6-F28D-4AD7-84D2-D458592C1DB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b280717534c0ede95113e87a7b86d2e1da2bc24","datavalue":{"value":"W1604731269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5172645$1E881F36-66F1-43F2-BE14-F9647533FF00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21088c4a66251029a26f54903401216c57e5b31","datavalue":{"value":{"entity-type":"item","numeric-id":5255086,"id":"Q5255086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c087fae26d39f27c655948935e55f7053e7853","datavalue":{"value":{"amount":"+0.7422913312911987","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":"Q5172645$469C4613-71C8-4ECE-9DFA-3FE8F3C31A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03056cd6fd8a0f8a8889d3e4530069103850bc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4737126,"id":"Q4737126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798b4da9a9e17e3b96f775a802c05ce09346954c","datavalue":{"value":{"amount":"+0.740707516670227","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":"Q5172645$147AD138-A1F4-49CA-9592-44F7944BD1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefa342511ff0a38e44245db56f582114773a663","datavalue":{"value":{"entity-type":"item","numeric-id":3636854,"id":"Q3636854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9094f4011e8090046221c3d3e95a5323373014b4","datavalue":{"value":{"amount":"+0.7379961609840393","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":"Q5172645$FD0FEF8F-9F99-4A34-A0C7-7DEFC6B34C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f882e8c8c3f3b35fb5d6d6ebc7b6d3533c1972","datavalue":{"value":{"entity-type":"item","numeric-id":5505593,"id":"Q5505593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea53479ea0ca47dcf29173950ff23bb308d3b839","datavalue":{"value":{"amount":"+0.7359241843223572","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":"Q5172645$D7632D3D-02B7-4BC2-8441-02F0AD25BA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5ccb928b7e094af56106c97f6a1763766f4769","datavalue":{"value":{"amount":"+0.7322753667831421","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":"Q5172645$049F7F5A-AEB8-4B01-A039-F67B08B6E2F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5172645","badges":[]}}}}}