{"entities":{"Q5089616":{"pageid":7119192,"ns":120,"title":"Item:Q5089616","lastrevid":54367070,"modified":"2026-01-26T17:19:44Z","type":"item","id":"Q5089616","labels":{"en":{"language":"en","value":"Instruction sequence faults with formal change justification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7560039"}},"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":"Q5089616$5D364984-2C87-4853-A71E-5786E3B86ED6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67746c90f77bb7d51f75d00a0715ed2569c72e16","datavalue":{"value":{"text":"Instruction Sequence Faults with Formal Change Justification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5089616$A4BB96B3-35C2-4ADC-8F70-8EF6C5609BE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc87aa004acaf45c00c12702113d80bb091dfe02","datavalue":{"value":"10.7561/SACS.2020.2.105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089616$8BD2B45C-2C36-4416-9A27-A1D22917B1C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089616$1E083D8B-A9F2-4F89-A8A9-1342D6130F90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089616$24105A89-BC1C-4C30-ACDE-82936ABB3584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fd16289d0fc1079df359b6aa9d58fa174ea29bb","datavalue":{"value":{"time":"+2022-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089616$80E5F759-ED97-42D2-9AEE-3AE4C197A80F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089616$6FD4744D-E9FA-4899-B2ED-96947502D265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ac4826a8f0a7c25c9a55b10b44c94cf6bc11f3d","datavalue":{"value":"7560039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089616$B0497C20-3D43-4E6D-BAD3-56548478A472","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a8359574e676db05e8e371f0364b5ffff0863f","datavalue":{"value":"sumterms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089616$680BAEE8-118F-4AF2-8CF5-CF67D0E50B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c453e8e5603c284c3158e6c076a91f202547e942","datavalue":{"value":"sumtuples","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089616$35936182-6943-41FD-A585-76052D0450CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78c22ac94afa2b4672637cfb28ca05050deb8b3c","datavalue":{"value":"splitting paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089616$081B312B-D553-4143-8322-DA7844EB86FA","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":"Q5089616$22D442F1-907E-44AA-A55D-F228F9942ABC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f704ca496673b8ccb4e56d8c641a583b8a04a463","datavalue":{"value":{"entity-type":"item","numeric-id":5089619,"id":"Q5089619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00ef578d43bc1c4593ee35a43f2f6d31ec24513c","datavalue":{"value":{"amount":"+0.7133499979972839","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":"Q5089616$653B51F9-5002-4A42-BB18-5D5BDB63871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd8aaa6c2c571a0404e3db9ae84571597cc6814","datavalue":{"value":{"entity-type":"item","numeric-id":441056,"id":"Q441056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60b6729b55fa7f218eadb5683e8aa9a19ffb3b6","datavalue":{"value":{"amount":"+0.6667483448982239","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":"Q5089616$4E2C382B-E943-4E0C-9772-9E95A96FA84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19746a27349dbc84a0df419ba38f9e87b7f1656","datavalue":{"value":{"entity-type":"item","numeric-id":5410485,"id":"Q5410485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f264e08b226bbd71a2498438896d5d2085f544","datavalue":{"value":{"amount":"+0.6551827192306519","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":"Q5089616$9BB2E34A-9815-4758-9767-F622EAF39764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca891000ace132e2a8fd09b3098318249039157","datavalue":{"value":{"entity-type":"item","numeric-id":3522081,"id":"Q3522081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e8a546de923cbbc745574cf5746b6a46ce7795e","datavalue":{"value":{"amount":"+0.6498284339904785","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":"Q5089616$B382F62F-2EA6-4278-A31A-67E562DF6BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0513b74ba7acc00b30b410fe9796c8b07b306b","datavalue":{"value":{"entity-type":"item","numeric-id":715042,"id":"Q715042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868e5d0a33de8a68def7e8b68eb9f700364a0aaf","datavalue":{"value":{"amount":"+0.6204202175140381","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":"Q5089616$074FE161-71D8-4E77-B9A6-1EAC082F5052","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089616"}}}}}