{"entities":{"Q3395261":{"pageid":3405964,"ns":120,"title":"Item:Q3395261","lastrevid":50751695,"modified":"2026-01-15T01:11:46Z","type":"item","id":"Q3395261","labels":{"en":{"language":"en","value":"A Translation-based Approach to the Verification of Modular Equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5598158"}},"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":"Q3395261$CA78D7F1-8F2D-4ABD-AF62-41B9CC73775B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec4fa71d813cb5dc7d8545e8f5083c14a111308f","datavalue":{"value":{"text":"A Translation-based Approach to the Verification of Modular Equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395261$6A3D1767-03F6-42E0-9F7D-1DE2FA8C10FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7908dab695a8b122abe80057a733346cbeeee33d","datavalue":{"value":"1192.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395261$BDD0FCEE-0D76-4CF0-9C0F-323BF6207A53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a04068cc433f2e9509aadb4dc79e0d8845b667f","datavalue":{"value":{"entity-type":"item","numeric-id":420787,"id":"Q420787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395261$A5C8903E-2151-43BE-AF12-DED631729687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395261$EA82D0CD-AEA3-47A9-8B1A-C04F689F10F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e27fab386d7bf9ecd8a1ca10a404e753ba3aa3e","datavalue":{"value":{"time":"+2009-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395261$2D3F89C0-8945-4755-8AA3-0EDEC7FCB865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395261$7A2C815E-EDF2-4537-A91B-A0311A47E0D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd178c32b5d667a1a1270f3251c8f0861d0bc595","datavalue":{"value":"5598158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395261$E08B5E75-8AE2-4A27-A7C5-D68424568368","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395261$1813D118-60AA-4033-9FC6-327134187179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8899a1ce58a238a0a140d8c0e4aaa4bc822728","datavalue":{"value":"modular program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395261$422B6D38-9216-4A4E-8579-D9210EFC8D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2783ce30bf64471dbd657968bdc51620d5935cb0","datavalue":{"value":"compositionality of stable model semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395261$62250DBE-99DC-4A84-8EDD-EA0CD34133C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347d8a87951f10460b9d645b7bc004fe0a1cad94","datavalue":{"value":"module theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395261$937AF5CA-C9F1-4FC3-8C79-9EFE36762A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af88acba4ab0b72609bcf2cca0fab737d6e6e54","datavalue":{"value":"translation-based verification method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395261$F59A6DEA-565E-478C-B015-F72F4CF9B2E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395261$977A5D4E-90A7-4983-9BCF-BDABCA1FDAE0","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":"Q3395261$2EE17A92-08C6-49F1-B208-A8E14F442D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4be70f06079b5ba0b93444fdc9dc502173603a87","datavalue":{"value":"https://doi.org/10.1093/logcom/exn039","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395261$3BBE656E-6F9A-4B73-A869-9391A7D2D274","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a3adef997204bc446d2fc7f9f4c9897aa7d6d39","datavalue":{"value":"W2074596576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395261$B982AFD1-9393-4416-B4E3-CD0A8985A427","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ed18881ff38088a93877b7c6ccaeff4dff411cc","datavalue":{"value":"10.1093/LOGCOM/EXN039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395261$E2EAFD75-71D0-48A2-BF32-F0AAEBB77BFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395261$92654F0C-46D0-4E9F-9446-99944A19A0AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b8fbbab91c7d04c31aa12e8963378a3e993572","datavalue":{"value":{"entity-type":"item","numeric-id":5431418,"id":"Q5431418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"821291c1ebdecb0c5d668c615e79b8ab813ad851","datavalue":{"value":{"amount":"+0.8188716173171997","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":"Q3395261$3B00A911-0809-45A7-9E80-CBB634D7626A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00d0bda6bd28fd4142dd55a7fc5ada46ad450d07","datavalue":{"value":{"entity-type":"item","numeric-id":5140013,"id":"Q5140013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac2440372adbc7984d9b9e9416af3d4f6ea717a","datavalue":{"value":{"amount":"+0.782954216003418","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":"Q3395261$75A2D0F1-DCF0-41E5-9C5D-2EC522ABB198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7cb776289f166db2fd69282d9077b6fd354e35","datavalue":{"value":{"entity-type":"item","numeric-id":4708942,"id":"Q4708942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7565f122ed78f9df1479f259c37bc283a7ce6eed","datavalue":{"value":{"amount":"+0.7581246495246887","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":"Q3395261$76FD4F65-E12A-434B-BD56-B87555BCB32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9e845172293275b484e820b2407bb8f3ef3f39","datavalue":{"value":{"entity-type":"item","numeric-id":5425415,"id":"Q5425415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea857a76acfc0b229a5cecde7f88f77c2049e88d","datavalue":{"value":{"amount":"+0.7425306439399719","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":"Q3395261$D320FFB7-C0A2-492E-8981-290B9C9C5F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9689fe7c73db41156fb2d54e47929011d4a84159","datavalue":{"value":{"entity-type":"item","numeric-id":5424886,"id":"Q5424886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e831f62c8a4ea245e5641d92af537ad9a51311","datavalue":{"value":{"amount":"+0.7420924305915833","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":"Q3395261$5DB3C6F7-460B-4AB5-A269-46E9CF375116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395261","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395261"}}}}}