{"entities":{"Q1879185":{"pageid":1889927,"ns":120,"title":"Item:Q1879185","lastrevid":48347371,"modified":"2026-01-04T10:48:17Z","type":"item","id":"Q1879185","labels":{"en":{"language":"en","value":"Automatable verification of sequential consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2101859"}},"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":"Q1879185$E4437DC8-6707-4820-BD27-29F108E6F650","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"691bd621f082885a8949fddafd7d3e0e2ec0fe7d","datavalue":{"value":{"text":"Automatable verification of sequential consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1879185$BBFB2A7B-8161-4226-BB3A-6161B0ABBD77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e983f777b625d9177ccb49245d7b08f1575a0983","datavalue":{"value":"1101.68370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879185$402533DF-CBD6-4DDF-BBCE-CD52A7821ED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afaa11cad02f935fe120c5b18653ba09260c4c57","datavalue":{"value":{"entity-type":"item","numeric-id":268445,"id":"Q268445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879185$F8C9218F-3B27-4367-9F36-7F3FF6FFA5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db4024a540391b7ad5a5e96b7285f26b861ea32c","datavalue":{"value":{"entity-type":"item","numeric-id":470003,"id":"Q470003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879185$3BF174A3-4198-49B8-86DC-20B8554F21D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1879185$F76D5358-880E-4996-AE98-53378D69EB5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7bd962bada8b0dc37e98aacdd29c36343a02c75","datavalue":{"value":{"time":"+2004-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1879185$4A273C50-937E-432D-9B43-8FDDC3C23753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879185$B2051CF9-1F5E-4A14-9F37-BE70A002D04D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"451ecc0596ba75c70555739968958fbdc7862647","datavalue":{"value":"2101859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879185$1C3BCC39-08E3-48F0-8A93-0AD99ED2A6E0","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":"Q1879185$595850BA-1F70-494B-9FFF-5F9CE0228D95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b301ba6c66189d5005e23889d55d2e01c18dbd75","datavalue":{"value":"https://doi.org/10.1007/s00224-003-1082-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1879185$EA4362F3-9B92-418A-821A-0F64E9BC3DB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04c768f55da3fb1563937c64a5a5f4a5fe9cc1fe","datavalue":{"value":"W2076003965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879185$EA6DC056-A993-4DD1-8C9D-A2249A694B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc6d5c1ae89899fafe8729b4ec4dd4ae6f942e90","datavalue":{"value":"10.1007/S00224-003-1082-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1879185$0BF441C5-2415-4FF9-BE47-D1FE7923ED39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57707316463f3a4e14e182b6b06693122a87a830","datavalue":{"value":{"entity-type":"item","numeric-id":5312920,"id":"Q5312920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"152058bebe5375c1d102ef2d48d0e85c4bdc2705","datavalue":{"value":{"amount":"+0.8878305554389954","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":"Q1879185$C82AC8C4-C095-4410-92B7-5997939C8B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aed15c3e8868494c143e530f984db1935924349","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a96667fc6103cce32b3da34079300037ac6f499","datavalue":{"value":{"amount":"+0.8612522482872009","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":"Q1879185$FDE37348-E511-48C4-A5F9-A18A7FD24167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a079e0f76c69911977b390b1f83ab53c39a467fb","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc3ace7dd4635d4c32b5af20366fb2937c35172","datavalue":{"value":{"amount":"+0.8013257384300232","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":"Q1879185$51A48316-3227-4E24-A4D7-59871494F0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e53014022ee8df6e689b1ac8218626864505e910","datavalue":{"value":{"entity-type":"item","numeric-id":4427911,"id":"Q4427911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc3ace7dd4635d4c32b5af20366fb2937c35172","datavalue":{"value":{"amount":"+0.8013257384300232","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":"Q1879185$14AE39DA-17E5-45BA-B9C0-049BDA5ECF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e308caae7526407a55f802559e3b608593d178","datavalue":{"value":{"entity-type":"item","numeric-id":4804891,"id":"Q4804891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef9d70bac586150fdd62d2355687d7c1782a06e","datavalue":{"value":{"amount":"+0.79810631275177","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":"Q1879185$2F02BE2C-90BA-42BF-8845-E4EDB708FD50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1879185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1879185"}}}}}