{"entities":{"Q2802468":{"pageid":2813206,"ns":120,"title":"Item:Q2802468","lastrevid":83307164,"modified":"2026-05-07T07:10:19Z","type":"item","id":"Q2802468","labels":{"en":{"language":"en","value":"Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6573765"}},"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":"Q2802468$4CC1870C-186B-430D-95B8-77FF3B00AE67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae97143177b19984f19cc64fc4a33caa9a15c25b","datavalue":{"value":{"text":"Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2802468$F2B5BED7-F8BF-452F-9542-DEF5DF6B1C23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f9ee3eec6ab8a34c2d1a75f22959cafa660e96b","datavalue":{"value":"1335.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802468$2F36CF47-003E-480D-BE01-1BD03D72FB75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d50f87dcf208005e3a1767ffe0265344328b22bf","datavalue":{"value":"10.1007/978-3-662-49498-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802468$4145703C-C296-42E1-95CB-5BF64A8371E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cb49475f6c2157a130c389f512af4b0079ed174","datavalue":{"value":{"entity-type":"item","numeric-id":2802467,"id":"Q2802467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$32435AD7-EE77-431A-97DC-DA3CF75571A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b22589ac4799fa11bdf6a319668e8a088247d277","datavalue":{"value":{"entity-type":"item","numeric-id":465684,"id":"Q465684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$592DF110-855D-4A71-8BD2-522B179C049F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4d4f10eafc7166d616956f86ea8b4213ac9879","datavalue":{"value":{"entity-type":"item","numeric-id":1960261,"id":"Q1960261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$067B05B3-7911-49AE-8A8B-B236C916ABF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$03CB0343-8612-4A4A-BC99-A4BD3F711A33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86bb9394e061bedbe680055bcc3d946b9049a265","datavalue":{"value":{"time":"+2016-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2802468$529DC301-66B8-4193-A088-CA9AC6185B0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76a5f5864fd89def181309935f6fb6aeacdf1d42","datavalue":{"value":"http://repositorio.inesctec.pt/handle/123456789/4534","type":"string"},"datatype":"url"},"type":"statement","id":"Q2802468$DC81B853-4C62-4138-9489-4F8AD73B17E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802468$638F065C-25AB-4C53-9F46-1B6D0D0A9EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802468$EAA88399-4B31-4338-8F52-77851D0D2690","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2aab39771a65ca967e846d0804c44d463b30df98","datavalue":{"value":"6573765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802468$08DE2083-E433-4540-8EB1-BFD3448CBB9E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"174f08d95eb791d469e1c45d7c14093069896ee1","datavalue":{"value":{"entity-type":"item","numeric-id":16797,"id":"Q16797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$B1595AE7-A6E6-4636-8AAD-DE4C6CDEA056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$DA059D0A-C556-4D1F-9995-87EEEF392EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31f1ce98b178abd797205654762ca461950434bc","datavalue":{"value":{"entity-type":"item","numeric-id":21688,"id":"Q21688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$29D12EAE-4B14-4AA4-8EF1-4A2058ED4835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$618286B1-64B4-4C24-8B18-068AC3AE03F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$6D00B8E8-2904-4566-BB5B-D9415AC2D420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$4E1E7C80-26DA-4AA0-BD50-9C1CFD61FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$E7FCAEE2-2036-4660-977E-3A8D2654E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$9AEB8841-AB8C-4F5C-8101-B4254B69D454","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":"Q2802468$8E528788-994B-42FE-BD2F-CFC11A8D928D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5710d7df64935112b08a74746df508438ae6a061","datavalue":{"value":"W2420279234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2802468$0ADF63CA-A773-4946-A8DA-DE43FDE80FD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd606d87fdc4f37c9fe91dcb9b7073582ba1f56","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$7FCAC5D5-E527-4F06-B9F6-B178C12BCF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$5C8F19CC-A35E-42BA-8823-E983BF99BCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$C2F3AA17-BEE8-4156-AFF5-549E05B89887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$F5ED28C1-6729-42BC-BAAF-F63D2838B04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$88D29F85-08BA-4DE8-BC5B-B026B672E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6d658032331dfb0270d5e1966446426f3c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5326280,"id":"Q5326280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$47C1DEDD-7F81-40E4-BBFF-37ED9CF7FB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$762B2ABA-A037-4C62-9238-0501AC72EAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0f96bd7644b87078b54e3f53823b650999a057","datavalue":{"value":{"entity-type":"item","numeric-id":3163399,"id":"Q3163399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$0AEB02C7-4BCF-4B2A-918F-274C51940F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$7A045B6B-3C62-4B1A-8259-D7CF8C3E18CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$2B56D440-01C9-4C8A-B332-504BAAC6C441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a690a2cf3538761a016ee7f2e7f9e1e7cdbf71aa","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$95DA599B-750D-47AC-8F05-E2D0973E2085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff75baea05c748f9ad363c0a0f9a8b26cebdcc9","datavalue":{"value":{"entity-type":"item","numeric-id":835051,"id":"Q835051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$7E82E40E-A27C-4311-B794-04026BD6B65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddd8cbb64d539857cacbe7cdb050d3d43884a13","datavalue":{"value":{"entity-type":"item","numeric-id":1881670,"id":"Q1881670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2802468$CF1D4A15-3BC2-4950-9321-115D2FDDA473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe575bdeebfc69be36c9ab5b79768e2cdcba9f44","datavalue":{"value":{"entity-type":"item","numeric-id":2013885,"id":"Q2013885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818a7827a799783079b142cab7bb397ed3d981b5","datavalue":{"value":{"amount":"+0.86554545","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":"Q2802468$37F89BEB-E0C9-47DB-8B0B-5A9F0E6F394C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9096826b44f46a939b8e9c916857df282bd0a87f","datavalue":{"value":{"amount":"+0.85557663","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":"Q2802468$2FBA0FB1-DA06-42B5-A8A2-1E34A1D599BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5547e7f140f28686cbd763d65679684df419834d","datavalue":{"value":{"entity-type":"item","numeric-id":4551152,"id":"Q4551152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb0e15cbcb8d8b3d2521bbc16ecb2067e1ad612","datavalue":{"value":{"amount":"+0.85487765","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":"Q2802468$B4CDBBDF-7D22-465A-A04E-829F5E56AECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca77c4b62cd6f352e85487d77e15b4b6c02e8881","datavalue":{"value":{"amount":"+0.8538872","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":"Q2802468$40D12D4C-2763-4B7A-B63B-3156D43B6B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f6a58fda84ce2b1ec77c3acde53b995716dc14","datavalue":{"value":{"entity-type":"item","numeric-id":2931785,"id":"Q2931785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097f4d9d8e43503d2cb691dd43d8aaddedb5b8b3","datavalue":{"value":{"amount":"+0.8509525","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":"Q2802468$42E7C6B1-4106-4A30-BEBD-13D6B829BE78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Single-Assignment_Program_Verification:_An_Adaptation-Complete_Approach"}}}}}