{"entities":{"Q968361":{"pageid":970209,"ns":120,"title":"Item:Q968361","lastrevid":65701881,"modified":"2026-04-12T04:35:38Z","type":"item","id":"Q968361","labels":{"en":{"language":"en","value":"Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703913"}},"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":"Q968361$B2595412-83BF-4BB5-840B-0A45F3540304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df43cb8bf84b95b7ca32bcf2e7009d0f5fc50334","datavalue":{"value":{"text":"Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968361$51B3F9A3-EDC0-4C91-9F2C-18718D273B5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de25ca76359fbc9ae1002b6ef912e5fc09f6a044","datavalue":{"value":"1209.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968361$4C1FE1CC-19BD-4197-B0FC-6E7431B7B35B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06745cfe66bc3c02d4ddfab66382f2706b8c94eb","datavalue":{"value":{"entity-type":"item","numeric-id":781065,"id":"Q781065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$3125E471-6427-401A-BBB4-95B6ACF3694B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be81ba1dadc366042262e90ae17b2284ffa06c1","datavalue":{"value":{"entity-type":"item","numeric-id":260056,"id":"Q260056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$A672DB69-8B30-4B7B-B97F-4FAA4C19F44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb25cd5bff61dd98c69faa32322d3d5f5b3963d","datavalue":{"value":{"entity-type":"item","numeric-id":239161,"id":"Q239161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$E592375B-68DB-4486-9DD9-83DF0960F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6c85dc148a642a835f71057b8bbaa21dddd172","datavalue":{"value":{"entity-type":"item","numeric-id":968360,"id":"Q968360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$F778E946-5CE1-45F4-9A8C-DE5A83F8BC21","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":"Q968361$9A5AA0D4-9803-4642-9975-E0ABB3F12D99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-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":"Q968361$555CD497-F602-4A21-A252-115FABD52C56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968361$87A3F3A8-7CD9-4040-82B1-5183A0A64E29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32cebe17d160f9d8505375a2e5ec3d8f7d533a02","datavalue":{"value":"5703913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968361$A64A6AAC-5AA5-4D2B-8D8D-8ECF6F47EFFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220cd70ad82a862e5678722e69ddb06178a99ba5","datavalue":{"value":"explicit state model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q968361$E5AE647E-52BC-4108-88C0-A7A3B16F076F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764b6de979ca150e9b1d8c42296378fc040ca00e","datavalue":{"value":"hierarchical cache coherence protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q968361$71507E21-C75D-4911-8EBF-7A66ADECC8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b26bac36e19f2df18bc270b04854da53d46426a1","datavalue":{"value":"abstraction/refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q968361$4A3B6211-9D9B-4435-B8E4-5294BFC4A235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882a47b602c2bf76bd6378e68b341ea804875d3e","datavalue":{"value":"assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q968361$57CC7BDA-16C9-4EFF-8CD9-0A90955EB5B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05c59994820aa6b8e0f0d976d0973f2b80ff379b","datavalue":{"value":{"entity-type":"item","numeric-id":33945,"id":"Q33945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$CE7F6FC6-9465-42F0-981E-25FDF615D93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$377D0A1A-8856-4F6C-9071-AD8216E8C9D1","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":"Q968361$877EFA67-335F-4F99-A365-39FE577198C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aff778056133a287d4d0b729cea1db5b0538f7d1","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0092-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q968361$0B4689DC-68A1-49D4-A6DF-C97BF1477BBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afef76cceb3d3950b731bb8d0d2a32264051e0d0","datavalue":{"value":"W2082471399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968361$A663E336-725E-480D-934B-D911C3069A19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$C122A196-DDF9-4D61-A8AB-5F2A5B798CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$EEC8856F-0AA4-4303-82FD-62AFEE08A7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$537ACC76-9A23-43C4-96A0-2FC57856D65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$08E3E125-62A6-4026-9189-5CDC1CBA6A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6885b60b7135bc5da38a1cfd23fe68040b437d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1870225,"id":"Q1870225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$1DE0C928-1758-40CA-8646-EC90FA9C3BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1310abcb0bf6cdb448bbefe6a8a1991a31da0559","datavalue":{"value":{"entity-type":"item","numeric-id":4787228,"id":"Q4787228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$8F434FB1-229A-4838-9E52-274F7150F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94fb6f8f1f78bf5f677a34347e5d10d985336655","datavalue":{"value":{"entity-type":"item","numeric-id":4140351,"id":"Q4140351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968361$172CBF29-846A-4B84-8387-25D3360226AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3056d4cc75e87d190a41b07793d7dd21ccebfd4e","datavalue":{"value":"10.1007/S10703-010-0092-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968361$A9ACC7AD-8557-44D2-9DE8-6D5DE32AEF6C","rank":"normal"}],"P1643":[{"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":"5d02c97253005ca1d7a006d54dbd33869f3adeeb","datavalue":{"value":{"amount":"+0.94069165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968361$A80DFE77-E870-41FB-A9AC-55BE1FABBE92","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":"5f927fba2885a3c74ff4145ff891e702e7b66ded","datavalue":{"value":{"amount":"+0.9364507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968361$08768B69-0F79-4A02-89DA-1773799FC0C6","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":"ca5d85cc9841f627b32dc4ff526aef3c86f2eef6","datavalue":{"value":{"amount":"+0.9280079","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968361$C957CC91-1DE1-4C09-A367-E53EBB3BED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3818c045e3f2fdf09ca3271bb3e2cdfe43a40ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff1d302241a51775c370ce7def4c09ede49beff","datavalue":{"value":{"amount":"+0.92293316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968361$AD9A094B-00EB-4231-80C8-6412817E5F62","rank":"normal"},{"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":"a2bcfe2dc7d11f7113e3ca8ff9062eb072bafe0b","datavalue":{"value":{"amount":"+0.91726255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968361$B3790075-1EFC-4D54-AF65-1245EBDF71A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1053a83c7dfde29ff61e781a624261cab5441bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2763961,"id":"Q2763961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f58d2d7414d7b669e873a45156d58ee5931203d","datavalue":{"value":{"amount":"+0.91410303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q968361$6EF7828C-4BA2-414C-8049-A4FF6B9BF70E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_methods_for_formally_verifying_safety_properties_of_hierarchical_cache_coherence_protocols"}}}}}