{"entities":{"Q4571132":{"pageid":6600721,"ns":120,"title":"Item:Q4571132","lastrevid":97303316,"modified":"2026-06-05T13:52:31Z","type":"item","id":"Q4571132","labels":{"en":{"language":"en","value":"Model checking simulation rules for linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6899212"}},"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":"Q4571132$B4B74CD2-24F1-41DB-AF15-F97BB01DA73E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffda8f01731691d0093faf36ec7a77d580136ea5","datavalue":{"value":{"text":"Model Checking Simulation Rules for Linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571132$3EDE066F-9179-48BB-80F5-4DFCD06A9E04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627f9a973750debdbdc1fe24dbf06a40f99f14cc","datavalue":{"value":"1390.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571132$0B2D4659-44C1-4A3F-B532-248426D9235C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85145dff46b1334f7161be7d0aa84818f53cb87a","datavalue":{"value":"10.1007/978-3-319-41591-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571132$A42AF204-9615-439E-AB6A-6E18A711F721","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a643bb4d6b134508bc8c5fad926d147e7d14ff57","datavalue":{"value":{"entity-type":"item","numeric-id":202498,"id":"Q202498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$3A9FF321-EA1C-46AA-8CCF-1BEC6B185F17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a8f5cbf6360429635db718a7502a7494a9026ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3095231,"id":"Q3095231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$7E97F3BC-40EA-453E-9088-3A7A040D6DB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae26ae56b498965815874334fe53b327884c287b","datavalue":{"value":{"time":"+2018-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571132$886EB83F-AB93-4342-9097-14E6D321B3FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571132$81FD5BA1-C194-4307-BCFF-A32A77351C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571132$031840E3-FDC6-4E3B-83A8-B2F3F1A97E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44c15de8bab57a2660800756d7c23656abe5307c","datavalue":{"value":"6899212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571132$353B533C-1305-42F9-8E8E-86CECDFF0943","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$8A984F1F-5AB1-46DA-AA50-1A5CD8243282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"042a9437b7b46d1b077ca1a024b0b14d602b6c76","datavalue":{"value":{"entity-type":"item","numeric-id":21511,"id":"Q21511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$3035783C-CD6E-41A3-9071-46802AA695A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$50C602B1-C7E9-4908-9E23-A6EC87F2652C","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":"Q4571132$74302B7A-4DF0-457E-B289-DAE447306BC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4dc80153f9549751214dfebd2d8d552d1c3d390c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-41591-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571132$24698A9A-D084-4E88-A310-19AFB69705D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bab0d0a9156a932c77238694d2fb1e73fa1a1251","datavalue":{"value":"W2484472566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571132$BA38911D-FB5F-41A9-B061-C34E3520A9EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a767fc3751275d35659fd98f7c386957eee0922","datavalue":{"value":{"entity-type":"item","numeric-id":5429339,"id":"Q5429339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$83AD65AD-531F-494E-ADC0-66980A7520E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b2ce6ca779c63c212ae4393be7651e37cb46c4","datavalue":{"value":{"entity-type":"item","numeric-id":2892722,"id":"Q2892722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$A84C9D73-7CA2-4FB4-8826-D6676325B701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34476e0fc3213e918db7c48fd221cd690cd8a79","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$658BD3FB-434B-41CE-826A-58C48BDC78B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$F891FCFD-D333-4DFA-B7FE-54BA144BB611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a73e45d8a02c02a1a7e4eee577edcddc70f907","datavalue":{"value":{"entity-type":"item","numeric-id":2724177,"id":"Q2724177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$C5CC56E6-DF71-4830-9E72-D6F31221E8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac24bcde47140102763502797ae911629cf24254","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$C74FB4E7-534F-4772-A338-981188303BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c871037251bc05b208e2b36048f84cafcc3a57e","datavalue":{"value":{"entity-type":"item","numeric-id":4909400,"id":"Q4909400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$D7079C05-325E-4B5E-8BCF-C689B22EDF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20b55cf3bc328f8589f330f96a951a3345ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4524764,"id":"Q4524764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$6C057220-AA64-4E45-A59D-3E70942EC9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b13457cb42ad28623335ab31537f25be6c73f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$DB957FF8-3EF5-471F-92D8-F442AE377360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bc8d5b727b0e2c73b7a9151226637f3d1e23bc","datavalue":{"value":{"entity-type":"item","numeric-id":851129,"id":"Q851129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$56012AB3-808A-4B02-A755-569252FBA370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245552aca7994e0c6f6eec9f3f2882e220076c40","datavalue":{"value":{"entity-type":"item","numeric-id":1019017,"id":"Q1019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$204A82AF-238D-46AE-8D23-6691C8668D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571132$42026B11-D0BC-4BE6-963D-0493F7701128","rank":"normal"}],"P1643":[{"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":"d4dc639930f30ed6438a5d8becf48875523ebfe7","datavalue":{"value":{"amount":"+0.7904064655303955","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":"Q4571132$C3F56B2B-8C87-42D7-A420-C2F244695F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ffe5efef8cc77431d78920e1883b0d0cb7f530","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"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":"Q4571132$C3B4BE5A-5C0F-46DE-964B-EFFA99210C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbd115948536399f88bcc955f5a031b25d01e93","datavalue":{"value":{"entity-type":"item","numeric-id":2164258,"id":"Q2164258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be485faa6c34edda552c0ffb92f19136d009be0","datavalue":{"value":{"amount":"+0.7718436121940613","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":"Q4571132$DB0E8D74-6945-4454-ADB8-C8AFF97CBFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4b2b95c01805a26acb8f84fb6504769ba2b8b5","datavalue":{"value":{"amount":"+0.7698428630828857","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":"Q4571132$E7A81B14-BAE7-4FED-B770-36D1BEDD9976","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":"4131c4953276ec81e81d2790fb91b906d484074d","datavalue":{"value":{"amount":"+0.7663156986236572","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":"Q4571132$9C056F63-3931-49B9-A56F-E2BF99E55844","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking simulation rules for linearizability","badges":[]}}}}}