{"entities":{"Q1854357":{"pageid":1865099,"ns":120,"title":"Item:Q1854357","lastrevid":71504853,"modified":"2026-04-13T22:42:19Z","type":"item","id":"Q1854357","labels":{"en":{"language":"en","value":"Model-checking of correctness conditions for concurrent objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853114"}},"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":"Q1854357$B5B2DBB8-420E-4240-94CC-4EF2196BB44E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae2137c34b80b10f3b34e988b534c52e76046156","datavalue":{"value":{"text":"Model-checking of correctness conditions for concurrent objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854357$F40D592C-024D-478A-9787-40283AAECDF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d61297ec40620f7ec6c490fc70f3fb8b8f1dba9","datavalue":{"value":"1003.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$727594C3-8B33-43DA-970F-832A8DC8F300","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$AC9FAFA6-14F2-4B3A-9751-24EC436710CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$FB0F2A33-CCB5-4236-A619-3FDF876B5970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$B6A6F425-513D-4012-A827-C77F20420415","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$97A301FF-B4C8-4329-B773-06ECAAE4DC1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854357$33C2BB7F-FA74-4767-AD49-F5F4D07862AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4e5cffbaa727f44951cfd5e81d877b17a2c97ba","datavalue":{"value":"https://semanticscholar.org/paper/80e1df595a00f2087bc50366b67bfc2554e955e8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854357$C43E55E2-7416-4B72-AF6C-EED25BC0929C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$BA25D084-8656-489C-A158-AFFAADAD728C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$6904410E-A0E0-43AB-93A2-F2EFDD9F4141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$3E88D6E8-AE28-4558-93C3-443CB892E234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$1F095617-9159-4C3C-BBA6-9520A3D68D4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11f2bcdf64e74f8c8de192313b846a32cf0ade93","datavalue":{"value":"1853114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$7DCF8FEA-E6C1-477E-8C09-BF355989BB3D","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":"Q1854357$1765A92F-4D21-4193-B044-57847C57BDFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5fc3d554e32946c74f99c8a024a892daede05508","datavalue":{"value":"W2672830324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$0CAD49AB-7B70-42A4-932E-8C1B656A1AFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04081e9d8bc756acfa52841c2995974fac2e8935","datavalue":{"value":{"entity-type":"item","numeric-id":4729376,"id":"Q4729376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$E7DA9329-AC93-4D80-8B12-265B648E60B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d971a8fb3bf11dfa7d1edd1cf7cdb1f2279f5e0c","datavalue":{"value":{"entity-type":"item","numeric-id":4109287,"id":"Q4109287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$62F39877-45EF-42CC-8093-C35D50420698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe91faead361908a57f5abb57ab434ee7f6c53c","datavalue":{"value":{"entity-type":"item","numeric-id":1062471,"id":"Q1062471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$ECFAAE6D-0413-439C-BA5F-440BF6FB2C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$289A9B84-51C8-4C40-AEC0-385019020922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$06448A47-DCE7-4DD5-A995-5EFBCC396F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54104d31282fdbf4e787a5193ad720b7f1b36289","datavalue":{"value":{"entity-type":"item","numeric-id":3750150,"id":"Q3750150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854357$310AF534-EE9C-40B6-B3BD-8251CC709B30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57ce43eef74e0a5e8689316c50b2a09279eb810f","datavalue":{"value":"10.1006/INCO.1999.2847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854357$0D8FB394-9728-454C-829B-8847979D641C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852eb63c97a10fe2089a9bbd6eb4d8fa4677be2d","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae512edea1d74dd8fddc467f1192438aa57c488","datavalue":{"value":{"amount":"+0.8221211433410645","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":"Q1854357$E35A44C4-7181-434F-9B3E-ED2257A8D73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57710e55b429b24b5a9b08b0dfa2717e5b58921e","datavalue":{"value":{"amount":"+0.7949011921882629","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":"Q1854357$9480E0FE-396E-439E-AED6-84672C7C938F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52528310161b6450ef4c81356867da39b761ac8d","datavalue":{"value":{"entity-type":"item","numeric-id":4635867,"id":"Q4635867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71631ade96f4b30ae323f9606f255c9834c1db37","datavalue":{"value":{"amount":"+0.7895304560661316","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":"Q1854357$45228733-C9BA-465D-9E15-DB03CE8D7F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbdf19e6cc13cf276624e678b367c17746e87f6","datavalue":{"value":{"entity-type":"item","numeric-id":4571132,"id":"Q4571132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42773129c37d17434b1b147f6cda9f82169c5a29","datavalue":{"value":{"amount":"+0.7872948050498962","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":"Q1854357$2341A10E-F103-40E5-8503-89B7A8F34C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7183d13e0e8c08a1dc5b130b37a855242e3ec775","datavalue":{"value":{"entity-type":"item","numeric-id":5111629,"id":"Q5111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc066e6eff55aa84e0b08abed2af71f6f8c20ef0","datavalue":{"value":{"amount":"+0.7860366106033325","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":"Q1854357$41315041-CE4E-4EBC-93A7-7FCE380B4D45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking of correctness conditions for concurrent objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_of_correctness_conditions_for_concurrent_objects"}}}}}