{"entities":{"Q2461762":{"pageid":2472505,"ns":120,"title":"Item:Q2461762","lastrevid":50217749,"modified":"2026-01-13T13:31:46Z","type":"item","id":"Q2461762","labels":{"en":{"language":"en","value":"Algebraic models of behaviour and correctness of SMT and CMT processors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5213635"}},"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":"Q2461762$28025071-09A7-4D34-B26E-D8CB04F7C318","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd7a8cbef06c6ad1b151f237ddd401671cf89850","datavalue":{"value":{"text":"Algebraic models of behaviour and correctness of SMT and CMT processors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461762$E96B8338-599F-4D34-BB37-E7179B6FCF51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd12a34f2b8a931d6a85f5143a0e1bfe5f778739","datavalue":{"value":"1130.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461762$D41BA0D2-9A5B-4076-9E7C-E205BA9C07CE","rank":"normal"}],"P16":[{"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":"Q2461762$758A2A27-712D-4D7C-BB16-86CCE3910B0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$2E5318A0-FA73-4E35-ABF5-FB3C7C47DBEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7d057761cc258ae6eaa8639d70de11cb5e2f264","datavalue":{"value":{"time":"+2007-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461762$0CAEEEFF-4537-4590-B401-E254CB6571A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461762$EFA48055-0AA3-4488-86C0-50B1ADCED9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461762$E2652042-BF3F-4B8B-983B-5D266E3EB78A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9af5fc7314481922948ba51e33b8bd8ba964f6","datavalue":{"value":"5213635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461762$9173A7F9-331B-448B-9B11-8D058DF356F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c5561c94e419a75f6aec47fede55090b189c60","datavalue":{"value":"simultaneous multi-threaded microprocessors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461762$2A533775-9ED9-4621-9599-39DCE58081B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125f704d6531eabe18a11669a0d2b41d3265841e","datavalue":{"value":"chip-level multi-threaded processors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461762$7367D684-7958-495B-852F-27834DDF1EC9","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":"Q2461762$11C9C158-4F0E-4A5B-804D-C93F10860DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05e2bb5e535f3888d2486d944fb37af5f0e766ad","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461762$47DC7480-51C8-485B-A3CF-E7D3700C3598","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89f57d73bc2a5e5d4a7cbfcef23ec174fa0e9782","datavalue":{"value":"W2091852216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461762$44E3E388-C2FD-4A4D-BF6D-862C75A27BE7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d83abec22f28b19800352199911df73da724ab","datavalue":{"value":{"entity-type":"item","numeric-id":5897057,"id":"Q5897057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$A10C4A30-3BCB-43D7-898E-F293D945D79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d498fc22d638b313f0691f5ef2d03dc74a2e39c0","datavalue":{"value":{"entity-type":"item","numeric-id":5492820,"id":"Q5492820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$5E4B59BF-0C81-48A3-AFD0-209249C90556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6eae6b32dc587e765cb7e577ed04c54f7777beb","datavalue":{"value":{"entity-type":"item","numeric-id":5930075,"id":"Q5930075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$72B05E49-921C-4CF2-857A-9CE0CB2AD57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35358123c5602f9da463c832371d0adbaa68a535","datavalue":{"value":{"entity-type":"item","numeric-id":1426058,"id":"Q1426058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$127E1D58-9B62-457E-921E-68B754A149C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e27aae431325bc0cf1ba048857814c4f705719e","datavalue":{"value":{"entity-type":"item","numeric-id":3998061,"id":"Q3998061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$ACDF5C8F-463F-4110-BFC4-E5113D410DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0116aa60fd43688189c3a72bf661f7de47cf47f3","datavalue":{"value":{"entity-type":"item","numeric-id":1815999,"id":"Q1815999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$2B29DB9D-0B60-44FE-81A2-7CAFAEAFDCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302979f66610c074ab768a03f67755670e5aceaf","datavalue":{"value":{"entity-type":"item","numeric-id":4373490,"id":"Q4373490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$5822083E-534D-4262-B9B8-CBBE33CC78DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f7b9ad80057c9ca5c9b18a33cafda29b9317b1","datavalue":{"value":{"entity-type":"item","numeric-id":4860810,"id":"Q4860810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$30448ACA-7B90-4D81-B4DD-28BF57B8F819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba764466a4aa134b251807abc8fb9e6172d5f5c7","datavalue":{"value":{"entity-type":"item","numeric-id":1426941,"id":"Q1426941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$E03A70B0-0991-48D4-83A4-B807FF24F145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c29368e9733758742d444e7bba01cb75642d55","datavalue":{"value":{"entity-type":"item","numeric-id":1327711,"id":"Q1327711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$A971BE0E-B5B2-456C-B60F-979EACF1C77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$E8388070-5109-4BB4-A890-B083F436A8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cc27f5318b33f39308fc4a2fbee53a2ae6fb88","datavalue":{"value":{"entity-type":"item","numeric-id":5312915,"id":"Q5312915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$DEFC0E38-1227-4237-B9C7-141693D5DD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461762$E9771D54-327C-4791-8A90-6954A5524C88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ac75a5ebcafab9460ef832fad98a4f88f70f39","datavalue":{"value":"10.1016/J.JLAP.2007.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461762$B141A0C3-4251-47F6-9CAE-BA93E53569C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8cd8f566e809b0d239f9b1fff633a9640314da","datavalue":{"value":{"entity-type":"item","numeric-id":3612497,"id":"Q3612497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0dc4f52b18b8c059e43a5a140b390f4bb853496","datavalue":{"value":{"amount":"+0.9150246977806092","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":"Q2461762$FC4333B0-2C10-4747-8A98-56A447AC0E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40837fa393d5ddcdbe5dc918f7794edf55704653","datavalue":{"value":{"entity-type":"item","numeric-id":5930075,"id":"Q5930075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f288f1a856d6062aa6686fbd8392aaf13da1da1","datavalue":{"value":{"amount":"+0.7887548208236694","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":"Q2461762$2B91A4A8-CB71-4CF3-B881-9B734D64E9B9","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":"70d362d59c11c973a9b72d41ceed684a867acfd0","datavalue":{"value":{"amount":"+0.7419537901878357","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":"Q2461762$A372B973-B69D-47FB-B1D9-7D88B112B5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46aaff7d3040491e984bff41df05b54070f70a1e","datavalue":{"value":{"entity-type":"item","numeric-id":4551656,"id":"Q4551656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aa6f3bf28ad59266056e04cb82ef482390f37b","datavalue":{"value":{"amount":"+0.7419337034225464","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":"Q2461762$D05A12AB-FD87-4897-A63D-BD59C7089449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c8e78755addc17134032784c968a101b85dab36","datavalue":{"value":{"entity-type":"item","numeric-id":941823,"id":"Q941823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5065f7228759913f019f277ca098d6e4880171","datavalue":{"value":{"amount":"+0.732061505317688","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":"Q2461762$B635D2C4-0DEB-4081-937F-4201ACE12117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2461762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2461762"}}}}}