{"entities":{"Q5930075":{"pageid":8106877,"ns":120,"title":"Item:Q5930075","lastrevid":97598249,"modified":"2026-06-05T15:04:12Z","type":"item","id":"Q5930075","labels":{"en":{"language":"en","value":"Algebraic models of correctness for microprocessors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587358"}},"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":"Q5930075$9DD822AE-C271-49A1-9918-78F16D6595B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff282aec9c0d2ff98a4fc2a1f76782cf2d8ca9db","datavalue":{"value":{"text":"Algebraic models of correctness for microprocessors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930075$AA02A0FF-DB2D-4FC1-BABA-B669A4C3895F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e53937b286e39a84a499268998cdba2a5e4e7ca6","datavalue":{"value":"0971.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930075$32F77A11-027B-4A07-B570-B99409907AF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3756cd4e8ba4ab0ee35e1075a7796bfb5967e67c","datavalue":{"value":"10.1007/PL00003936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930075$F2AD2164-28AA-4B3E-BF11-D8AD353E74D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30e84c1c161a78deee54f35997c4f862ecf81aa5","datavalue":{"value":{"entity-type":"item","numeric-id":172359,"id":"Q172359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930075$F8DF53EC-9BE7-4244-BAA0-0DA320155353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d9f030809fc13bed3e862d972cc66306c45c39e","datavalue":{"value":{"entity-type":"item","numeric-id":172360,"id":"Q172360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930075$E61C8A75-60CA-44E6-AABF-B469DE8026FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930075$D50198DF-BEBC-43A4-B108-0AA205D4B771","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6c0c12789b1c65edf998b307fadc1a05e2a1e26","datavalue":{"value":{"time":"+2001-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930075$6A0F1E5C-FB79-4760-B5A0-2F2AF1C1D31C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930075$5FE49878-BC5B-45A0-8CD6-3587175921F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6318fdbf4c02c93c31bd505fcec42753818ffcf","datavalue":{"value":"1587358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930075$9E5A26A3-89AE-4443-A67B-646076EF3D22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930075$7CAE8508-39C1-4FB6-B628-F84C1A2F5742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcc0d1cb62713213df040e295d6577a3bf8a3e9","datavalue":{"value":"microprocessors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930075$2EBD2D4B-5E6F-459B-92BD-E2F8CC7C0F0A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930075$C4F7254A-EABF-4954-A7E9-D87EBB71A188","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":"Q5930075$A97D63F7-AC84-444E-9E3E-D7B674883084","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a1dfdfed5c4a7be2e94883d0b5a4f661760e7c9","datavalue":{"value":"https://doi.org/10.1007/pl00003936","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930075$A889DC12-123B-469A-9222-B562E5C0B92B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7374320f1bdc804b12bac0a99f5c13bafba36c8","datavalue":{"value":"W1975427082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930075$6A828566-4D20-42C5-8FCC-B4A0DDE1747F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"127a039a1fea5d36fc1d00e4e8f60b27a7407e15","datavalue":{"value":"Q130957906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930075$34BC7A30-58C9-454B-B253-2ED96408E65C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db2dfe1067a340bb1ca60bbc465368e655d6b023","datavalue":{"value":{"entity-type":"item","numeric-id":4373490,"id":"Q4373490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2940f3729f1c0bec56fb2ee06de5163906fdb3b","datavalue":{"value":{"amount":"+0.95494455","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":"Q5930075$9924AC17-4C71-4676-BB1B-A652852E5DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d21bb7d0689d980e2f2a33de8022757e9f1a9d","datavalue":{"value":{"entity-type":"item","numeric-id":2461762,"id":"Q2461762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5434e7a644fc5a7d6674493ee1888a88fb2dcc58","datavalue":{"value":{"amount":"+0.92399067","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":"Q5930075$15586C79-A3CF-42F6-A6EC-42E672A80AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d3e3d58a6ea291dfcf7f561d4ec004e467b81f","datavalue":{"value":{"entity-type":"item","numeric-id":1815999,"id":"Q1815999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d498ec18340becd2c26f7c1d5b922345fa5bf56b","datavalue":{"value":{"amount":"+0.89240915","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":"Q5930075$C122BC94-224A-4188-841C-7A67A042C041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6f50e448f9d59543880222f04826077ababfca","datavalue":{"value":{"entity-type":"item","numeric-id":3806803,"id":"Q3806803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7db92fe209f53c3433421824dc4c5951935d81e","datavalue":{"value":{"amount":"+0.8903281","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":"Q5930075$11C77CFD-7929-460B-9D9C-C70F14B666AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5651a3859cd5370e6d57a0e9f77719e4a21ded3","datavalue":{"value":{"entity-type":"item","numeric-id":5754533,"id":"Q5754533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e311ba1ebb2aab925d37e24a7c09d8c22f621a15","datavalue":{"value":{"amount":"+0.8827654","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":"Q5930075$2EF8DD03-FF92-4B1B-B6FF-4ABC90A72AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb57dac5e9733bbbaad6a936013c102dabfd2939","datavalue":{"value":{"entity-type":"item","numeric-id":4419604,"id":"Q4419604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c591c2b4056168f191dcee1b4cfb6133491b4e","datavalue":{"value":{"amount":"+0.8780542","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":"Q5930075$DCADA2AC-D5F2-4345-851A-7CAE30350C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c0703e26c2d4329fd0b8cfa4c525b0acc8c0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2695364,"id":"Q2695364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d86217911ea14be0fb0a504e1f5c7537bf67b1","datavalue":{"value":{"amount":"+0.8763636","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":"Q5930075$CE9410AD-7AB0-46E3-ABA7-63A96C52BA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62236b396f4e1a7768423bd9a8b1ae8ca444ed99","datavalue":{"value":{"entity-type":"item","numeric-id":4787252,"id":"Q4787252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812d5f16b4005b2d4f87849ff3f2cc66d15c0586","datavalue":{"value":{"amount":"+0.8753905","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":"Q5930075$BA1700A6-5145-4C29-A604-19C988EDCAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e2ab0491b7d9816433afa6b5506c16c1350e0aa","datavalue":{"value":{"entity-type":"item","numeric-id":1426058,"id":"Q1426058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52c32406d3320c6074ff7c37e67850a75935c63","datavalue":{"value":{"amount":"+0.87072957","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":"Q5930075$53162017-7684-4867-BACE-3046A797999E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic models of correctness for microprocessors","badges":[]}}}}}