{"entities":{"Q1878907":{"pageid":1889649,"ns":120,"title":"Item:Q1878907","lastrevid":73393137,"modified":"2026-04-14T15:45:07Z","type":"item","id":"Q1878907","labels":{"en":{"language":"en","value":"Constraint-based verification of parameterized cache coherence protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100108"}},"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":"Q1878907$50354E24-C9AA-431D-A0FC-5826192C71E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e58501c23f760832c7e14e4e09f87c999688f143","datavalue":{"value":{"text":"Constraint-based verification of parameterized cache coherence protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878907$F6F2CD21-927B-4923-B15E-832D1985C15E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b7079286912e262fcc22152a4e79062376ba1f0","datavalue":{"value":"1073.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878907$FD7D0D56-6726-47F3-8A89-B4DA121D22A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3041baa306de96a9452493f93d63b3cd2ab409b0","datavalue":{"value":"10.1023/A:1026276129010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878907$39307D4B-D414-45E7-A4BF-CB41AE9187B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878907$3C35DB48-10DF-4FD7-ABAC-2A1F8F3A61C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878907$7E99B61D-B17D-4320-8BDE-C8BA1CE61957","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc8e387439babbec1a2d663e85f838dd62ec5da","datavalue":{"value":{"time":"+2004-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878907$D45D119C-BDC0-4588-85CE-66DB96D65371","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878907$6CF39E05-77B1-41F8-9456-A72DD12DB5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878907$4905BC3B-1BFD-4B74-AAEF-697339D451D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ac0c4d56bc7a0dcebce314273fc27da02d1b8a","datavalue":{"value":"2100108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878907$0BDE8022-D218-4F00-9E95-9F86942BCAD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f545cf2fa12f9d190b95f402d5ecc223d26df2","datavalue":{"value":"cache coherence protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878907$EE217E99-3989-4F8A-A9C9-A58F75E7636C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878907$1B84913D-FC47-41EB-A1EC-F172E2B7D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878907$1DE2BBDD-FA64-4CE7-9DD3-10C1C3D76D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1878907$D74841E1-8ADC-4F8F-80A5-C18218441942","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878907$16F1F4D5-6E7A-4611-8B53-F469A6DAE108","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":"Q1878907$3D941312-462E-4261-9C5E-DBBFF13C6EB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aaad8965c53b2e8005e1f0c0e96ddea9971e91c","datavalue":{"value":"https://doi.org/10.1023/a:1026276129010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878907$E2CB524C-8AE0-4A1E-B7D2-F36B962DC6F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8ac28d719a4db65119d50cc65a06f112cdddf78","datavalue":{"value":"W1605914607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878907$59E2B6F4-EE08-4535-9594-1417CA9A5F32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bd84c02a46d66ff9c3c5b0be6224db5193a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde63ff98cfb3c139341642ae839cfcedf4a0d6c","datavalue":{"value":{"amount":"+0.9182636737823486","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":"Q1878907$ABBA3905-D0FD-4F5C-B460-626D40DFA509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040f28daf863b959a60dd7b38dd959ad9be77c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897071,"id":"Q5897071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"962c61760a267bffc0ed43033037e7ab06701dd3","datavalue":{"value":{"amount":"+0.8571614027023315","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":"Q1878907$A2599F18-A3E7-4A37-BE9C-55D7AED2817D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca7f45ed6f782e6606b5640136bb887dd7e95df7","datavalue":{"value":{"entity-type":"item","numeric-id":4417919,"id":"Q4417919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb9ee1054d9d75ae8282ee29c38844ea23ef3dd","datavalue":{"value":{"amount":"+0.8441624045372009","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":"Q1878907$D9F6CA36-BC55-483E-B2FA-55E64507B304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccf0b7f07b6c87891bec7fd15adbcf2ce333b100","datavalue":{"value":{"entity-type":"item","numeric-id":5492994,"id":"Q5492994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31248461ea400bc2fd06803736a96c499144fb8d","datavalue":{"value":{"amount":"+0.8396985530853271","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":"Q1878907$DD68F34F-A5C9-44CC-8CAB-AD9AA0ED47D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c515986d6bb8c6e25694daf02efd1af228f27e9","datavalue":{"value":{"entity-type":"item","numeric-id":4737006,"id":"Q4737006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529d7416e4d6dcd992a0a0b3a98eaf914b439580","datavalue":{"value":{"amount":"+0.8340447545051575","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":"Q1878907$44FDBCAE-50C5-4D3B-899C-3FC344E5F258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constraint-based verification of parameterized cache coherence protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constraint-based_verification_of_parameterized_cache_coherence_protocols"}}}}}