{"entities":{"Q4921502":{"pageid":6951084,"ns":120,"title":"Item:Q4921502","lastrevid":51713135,"modified":"2026-01-19T15:38:41Z","type":"item","id":"Q4921502","labels":{"en":{"language":"en","value":"Verifying a network invariant for all configurations of the Futurebus+ cache coherence protocol"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6162141"}},"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":"Q4921502$34C76124-CEB8-4367-92C0-4A6F152BD6EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f5f686fe97cf06736bfb183a1b9060dce4b3ba9","datavalue":{"value":{"text":"Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4921502$EC72EB62-F34F-4919-9D43-DD9055F23020","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71a173afef16b017c91291d4f5118025cb78880d","datavalue":{"value":"1262.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921502$E78A6D04-9700-4AF0-9BC5-41D1F06510E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fb0e6951a94f49b4024abb854cd9165b9af2d3","datavalue":{"value":"10.1016/S1571-0661(04)00188-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921502$00FB4986-E057-4363-A26E-7DEB16837FC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98809754bbb97931d7c34e31b1e5aff7157f0ccb","datavalue":{"value":{"entity-type":"item","numeric-id":2847427,"id":"Q2847427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$9316754E-6BE9-48AB-840F-6D757877E202","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$3673FD49-D0E7-42A7-AA39-517FD66526BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcee510111679fcd7197118580cf67e59ca48dba","datavalue":{"value":{"time":"+2013-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4921502$337D48EA-F300-4766-9405-6F2DDDF2E382","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921502$8CFE5229-7DA5-42E5-A008-66B37AB8BD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921502$1E482D36-3577-4596-BFC6-90F72A59E7D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f46b2bc16ea9e1234944f106d740687e7eab18b9","datavalue":{"value":"6162141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921502$109ACB67-F731-4B21-9420-555F03DAF2F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$9902512F-D50D-4096-9EC1-12F99DF86C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$522285AB-E06D-465F-B0DC-75BDAB418BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$53452297-FA14-49D5-889F-43BF38C29974","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":"Q4921502$854B46D5-5633-4041-9518-7E4B0DC86CB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$F935A710-0130-41F4-81EF-32085109025C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$44027A24-CC4F-4830-96AA-B92702C0CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85017ef4165ee25970515bc7ed677f0f041dfce","datavalue":{"value":{"entity-type":"item","numeric-id":2766662,"id":"Q2766662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$5A17BE64-29BF-490E-B552-7C5CDE9916F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ac781b67d58b01102f2ea38446572f59886631","datavalue":{"value":{"entity-type":"item","numeric-id":2709807,"id":"Q2709807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$06EEF361-F0EB-46B9-9E3E-B58F64F28507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$50B93140-80FE-483D-8300-820418994F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7409ce12fc521e911d6f4a6b767611cba400d27a","datavalue":{"value":{"entity-type":"item","numeric-id":5517677,"id":"Q5517677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$B95A1C90-B19D-41D4-B124-46F4FC157B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$31080CD8-3D4B-4EB0-93E7-1C457F157C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$6AA1DA75-C0D6-412E-805E-8673AE77CD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$83512EFB-C868-42AD-ABEE-B53C27994583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$EF0E43D3-8C70-43D2-8AEE-BA7ACD6FACE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$2949B795-FDB5-4259-92A3-36B0C674BAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$EDEC6FFB-FB3C-43DB-B4A0-1D7334D0452F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$EBB42630-D98F-4D2B-956B-A647D57ED486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bde52dc3971c9bf865b543a75be1a784b143973","datavalue":{"value":{"entity-type":"item","numeric-id":3512442,"id":"Q3512442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$0287BEB0-75BD-4769-A76C-0A89ACE11372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921502$5E4FBB96-8799-4D5C-8726-9E5495FE9B9F","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":"28c8c5159d9b9c5e79480b228ae0a89477ee3582","datavalue":{"value":{"amount":"+0.7559452056884766","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":"Q4921502$50736AA4-086D-416E-9B9A-C2D605F13385","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":"460718387733255cc522289871f54f9f9f2e0502","datavalue":{"value":{"amount":"+0.7488394379615784","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":"Q4921502$FF4BFB47-C4EC-4008-9EBF-6D847B4C961A","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":"66fd64367f27a387691b09d9606f63d998cd103e","datavalue":{"value":{"amount":"+0.7377193570137024","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":"Q4921502$126079FD-8383-4A9C-9308-C02013EA3AB4","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":"5ad586815cc7e70957e047044578357cb29b9b00","datavalue":{"value":{"amount":"+0.7360461950302124","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":"Q4921502$09B4C436-51C5-43A8-BEE8-69D0D76BF335","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":"5bcaabf12434e455da6d219db63e20664dc9f1db","datavalue":{"value":{"amount":"+0.7313117384910583","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":"Q4921502$DA69C87C-4DB2-4F04-9C54-E0FF0C900A71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4921502","badges":[]}}}}}