{"entities":{"Q1426058":{"pageid":1436798,"ns":120,"title":"Item:Q1426058","lastrevid":48252838,"modified":"2026-01-04T03:17:12Z","type":"item","id":"Q1426058","labels":{"en":{"language":"en","value":"Algebraic models of correctness for abstract pipelines."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056490"}},"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":"Q1426058$6A1063AE-7B02-48B5-8ED2-540D0EDA83BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6eb226fbbdf6e4598e12daf3e0e0b425cd09a53b","datavalue":{"value":{"text":"Algebraic models of correctness for abstract pipelines.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426058$92CB3F9A-C528-461A-979E-3630F23182D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e24102a28dfe933c77f0cf26a5457df0b0de298a","datavalue":{"value":"1059.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426058$A87A2584-50DA-4B9F-86E0-4BC55D00E196","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19c1fc81fb5a13a9949999481bcfbc33c3714430","datavalue":{"value":"10.1016/S1567-8326(03)00041-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426058$1928AE29-61D1-4B32-A8EC-070EB96CE799","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d7ba43d17a238b214c486d5cc88b362129ca085","datavalue":{"value":{"entity-type":"item","numeric-id":1426057,"id":"Q1426057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$4C55B8ED-AD58-4CB9-85A3-8B3CA12C4C2B","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":"Q1426058$7C838D2C-9289-444F-927E-988E8BA8D0AA","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":"Q1426058$626D196C-A53B-459A-A714-AE224E0C53CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426058$61B34A1D-1E90-4E0C-A858-2D088FD91716","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426058$62A4AD68-DC32-4AE5-BEA2-B882F1BFEA08","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b398e975e4a833eb6cd5c36cb4c724239718528a","datavalue":{"value":"2056490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426058$D5DFAAD9-D5C1-4F70-93EC-2E86FFF09ED2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09fe291f4c8e93563a9a71319c161d3b8d908c71","datavalue":{"value":"design of pipelined systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426058$69EB4BEF-419F-4697-8220-976801EB1277","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7670c1e69038094257a7fc4279dcbbf8d01775a7","datavalue":{"value":{"entity-type":"item","numeric-id":25287,"id":"Q25287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$1F6226DE-8382-49EC-8971-62D71FD46F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$050DB1FE-54E3-4FDF-928F-0E723ECA1F11","rank":"normal"},{"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":"Q1426058$884FDD93-5510-47C6-AFD8-A6DB53483FF0","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":"Q1426058$63E69179-A7F5-44EF-8D9E-4D158854BEDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e8a8bebc088e66ff8961b34570bdb70864adc8","datavalue":{"value":{"entity-type":"item","numeric-id":4787252,"id":"Q4787252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$313341FA-70C2-4546-9170-8F48D6C572DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cc71ec79ab682a2437b8f7373d5a54c44417af","datavalue":{"value":{"entity-type":"item","numeric-id":4818814,"id":"Q4818814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$535057AC-A16D-4CE4-9122-BF8908917BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$DBB35681-9683-422D-BCDF-DE692FDAA638","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":"Q1426058$E62A5F5C-EF56-43FA-8095-70D11D09BAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$E9C8E753-5327-43DD-857C-20537FA2B833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74c86d89cd4b3f778eea50012f0bf53063ad7680","datavalue":{"value":{"entity-type":"item","numeric-id":4004176,"id":"Q4004176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$51E5A909-C0D4-430A-BA03-2FF938EB9417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045a0c67c823652553bb6429ce09dd325c1b37cc","datavalue":{"value":{"entity-type":"item","numeric-id":4471717,"id":"Q4471717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$CE8B5FD6-A370-4094-BCF4-54C5A2896560","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":"Q1426058$6CE52BFE-5AAB-4BA1-854C-33D8DEF5DBF4","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":"Q1426058$FC650C8F-7A88-458B-8813-3418B3ECE72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81767467bf1d91411427f69bd1f584fd6310fc8","datavalue":{"value":{"entity-type":"item","numeric-id":4003964,"id":"Q4003964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$02F6A761-E597-4C28-8D05-800371377C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257cb1cc6b509bb434f9548767f7325e8a28878e","datavalue":{"value":{"entity-type":"item","numeric-id":2754112,"id":"Q2754112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$F74E5EC3-92F3-48FF-B227-62659EAAE6DE","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":"Q1426058$CF2B11A9-2E5C-4A7A-914A-2DC6B55242CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b552adcf80e4aa8e31ef60bbc2d14fe0a33928d","datavalue":{"value":{"entity-type":"item","numeric-id":4551174,"id":"Q4551174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$7CF830AF-5A38-47AE-AD5A-BAFC846D4BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$E011A3B4-036D-4CC9-B083-234F12DFFA74","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":"Q1426058$3C38CD34-B39E-407F-8EEB-A3B15974E079","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":"Q1426058$4A208646-7F90-4DD3-8D8A-57DAB8A93B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b74789688ac51b7ade23d361083007c0a41b1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5966707,"id":"Q5966707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$835E3E17-21F0-4122-A5F3-7C014E4A2AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"492facb9a708e9316266ddea93eee4cf5bbf93fc","datavalue":{"value":{"entity-type":"item","numeric-id":4325543,"id":"Q4325543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$BA5D86C4-A315-41AD-9B8A-C37E05349B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4afb8a7b1264ad098693dc209cb94eaeb10b9d37","datavalue":{"value":{"entity-type":"item","numeric-id":2754092,"id":"Q2754092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$0F642E4A-BFD2-458A-83B9-527F8F9CC442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426058$95162CE6-BA93-464E-B018-DED39A910AB4","rank":"normal"}],"P1643":[{"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":"1f03c66e46cb9294defde979a065177371462a56","datavalue":{"value":{"amount":"+0.8940839767456055","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":"Q1426058$6704AC0F-26E1-4134-8BFE-BB7F5CF9E649","rank":"normal"},{"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":"101aabf7dfb43b6ab51a7635672d303e1f8a2c3d","datavalue":{"value":{"amount":"+0.8694754838943481","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":"Q1426058$4B75035A-B22F-44AC-8678-20721A3BE209","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":"dcc62f2cd10f45f1f821803ffa799c24804b1ad0","datavalue":{"value":{"amount":"+0.8613640666007996","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":"Q1426058$1540446E-CF06-421D-ABD4-7E8A249BB264","rank":"normal"},{"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":"202bf50d77f7ffceba6b3ac33ce3ab7174cea7e3","datavalue":{"value":{"amount":"+0.7963718175888062","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":"Q1426058$CD2EB0B6-EB3D-45C1-B5E7-027F88009D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a71c2dcb7e91bdc10f02701b7e61d7d8c3208bf","datavalue":{"value":{"entity-type":"item","numeric-id":4471717,"id":"Q4471717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b037ba189c909e517a58898dac1fe96a19f593e","datavalue":{"value":{"amount":"+0.7605454325675964","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":"Q1426058$32836DBA-1BBC-4F19-A357-73504747403E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1426058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1426058"}}}}}