{"entities":{"Q5756745":{"pageid":7786296,"ns":120,"title":"Item:Q5756745","lastrevid":50158034,"modified":"2026-01-13T07:25:41Z","type":"item","id":"Q5756745","labels":{"en":{"language":"en","value":"Model Checking Multithreaded Programs with Asynchronous Atomic Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187421"}},"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":"Q5756745$FA383075-1F9D-4780-95BB-7C8CBD24048E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0e926616f81350c55c9729ca19f7baeaee6ea64","datavalue":{"value":{"text":"Model Checking Multithreaded Programs with Asynchronous Atomic Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756745$DDA58799-FBD8-4ED1-93F9-13121AAE7362","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22c078e7268dcf7add5e54fbcd47b4be3aedcc40","datavalue":{"value":"1188.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$A6F0C993-2499-4588-975E-FA615E31B633","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b15a1271bf2944beba57a470cca7b07e7f231c1e","datavalue":{"value":"10.1007/11817963_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$FB9B62B7-9C9E-4566-8063-629E8EB48652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756745$53BE2114-6C3C-4228-A13A-6380340E977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756745$0AF9243F-8BE6-496E-97F8-31DFB526A1D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756745$A5F4AE4D-1EF7-4100-B55D-7366248994FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756745$E073E9D0-9A73-4ADE-BBB3-1B6249DD7A0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$52B2A758-A6EB-4D46-8ED9-34C7A3D0A2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$A86C69CE-7444-449F-89DD-C2F92D71DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$75162933-DD1D-4DCB-A6BD-C5E3EFB9ED83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"124fc618916943615d85bcbb25b2e01a232c32f9","datavalue":{"value":"5187421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$7FCA4268-6677-45C8-888B-807F484B4938","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756745$A8DE9B5A-52EA-4101-9F28-EA3FE170F211","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":"Q5756745$2F5394B1-B4A7-473F-853F-C39B192F2CA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e74c9061dbc0e0a539660e70065f81a40115a29c","datavalue":{"value":"https://doi.org/10.1007/11817963_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756745$41B1F886-21D2-41C9-9A8C-E9133737835E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07fd42d0b4e132726349917bf5a7993e259f8c27","datavalue":{"value":"W1563374799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756745$2E54CE37-5CB5-4DB0-93BB-C51A8BD4752B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5b73d9298f194ee9b9ccc06d2ed0d66bbe6810","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7afb7096119eed7a1d30cc9a58705da74a99499","datavalue":{"value":{"amount":"+0.7372793555259705","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":"Q5756745$03DEB071-B581-4139-9192-DC79AFFC4830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a612fbdd8dd023140c1134671601f072bbc161e1","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1636defaf5af99d4e2c903c4a8047bceb9fb4dab","datavalue":{"value":{"amount":"+0.7238911986351013","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":"Q5756745$20E434B6-57CA-4D4F-9FA4-C2D740804CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3b3349e861057ef25d3e153f1e107c33a6e3cd","datavalue":{"value":{"entity-type":"item","numeric-id":5136300,"id":"Q5136300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1848dedf8497caeee2eac2d278158516fe46ac37","datavalue":{"value":{"amount":"+0.7226763963699341","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":"Q5756745$B67ED80B-9E77-4DC1-A1D9-98316BC052AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59438a3e828c320d02fc6b175f45054adca7178f","datavalue":{"value":{"entity-type":"item","numeric-id":3176376,"id":"Q3176376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb939c82a5b2f6191e41446306ff325b27a40fa6","datavalue":{"value":{"amount":"+0.7217631340026855","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":"Q5756745$2A61083F-E1ED-4C72-B3E4-B8345E2944E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae57df94706e64c7dc987a9e4962fc92e4537ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fddee378760e8f19e4a3e7e153098c25a9127807","datavalue":{"value":{"amount":"+0.7183680534362793","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":"Q5756745$1CCCB5DE-3AFD-42FB-9069-AC5CB4F38B82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756745"}}}}}