{"entities":{"Q4291868":{"pageid":6321469,"ns":120,"title":"Item:Q4291868","lastrevid":46325850,"modified":"2025-12-24T14:07:12Z","type":"item","id":"Q4291868","labels":{"en":{"language":"en","value":"A New, Simpler Proof of the Modularisation Theorem for Logical Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567632"}},"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":"Q4291868$234F99DB-08A3-436B-86A0-DA13070E1F62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86b8982a4ca1806e42296fe7389a8146642367de","datavalue":{"value":{"text":"A New, Simpler Proof of the Modularisation Theorem for Logical Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291868$091B0194-2171-4BB7-AC74-C4F79EFBE892","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a10485f811c8ae1d6e474efa09125e9c11049c9","datavalue":{"value":"0798.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291868$A7EFFED7-D628-4934-A6D4-CE665840EEFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291868$F6AB0842-60FC-4043-B39B-D923ABFA1472","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5cac1bac625d56172333526e9a905d35cc8227","datavalue":{"value":{"time":"+1994-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291868$E2400F29-66DB-4CB8-88C4-6CEA916EE3F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291868$A2353540-60C4-423A-B28A-F6493CC7591A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4fe1f04b01ae943785814aea9f529f27f0e3056","datavalue":{"value":"567632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291868$CEAB4334-04E2-44E5-B73C-8FA314B88D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291868$8E40F0CC-7A5E-4CDE-AC31-1B83AA6E36A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"609aba7ed3b51faddd764cbc64c96436f31a7a75","datavalue":{"value":"presentations of first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291868$390004AC-0E48-430D-A298-8C1BB163E2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd271ccc831eabfa3e1276b23e828b4c02fb00e4","datavalue":{"value":"modularisation theorem for logical specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291868$F08EDFDB-60E2-4BF6-BF89-41CE14F64882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e5dd62bfdbbfd5f613796d0d6cd1f4f2ddddc5","datavalue":{"value":"implementations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291868$6266EDAD-7196-4B84-BA23-58E3165F761C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c849ede23bc91b5c36bc2cc6c3608b5b0af45add","datavalue":{"value":"specialisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291868$B57252AE-DB55-489A-A341-7DDCB47D6BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8dd4fb1c22188b1db4aab9902e492978436900","datavalue":{"value":"parameter instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291868$B0508131-47F9-4632-AB22-AF70247C77DE","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":"Q4291868$FDA02F7A-794E-45CE-922D-75363F0B1322","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9ec9a35153b28a8dcee2f6ad8055f9c12affd0e","datavalue":{"value":"https://doi.org/10.1093/jigpal/1.1.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291868$6B7A4A6D-58BB-4F19-9329-3C942B17E2C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e43d3069d4e7ceb3a34a837e80707ba4dd071471","datavalue":{"value":"W2016701481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291868$00032A67-1D15-4680-96E6-CC0AE250ECE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c8ac05439d0a4a1755bb281df03e2f47b2b19f3","datavalue":{"value":"10.1093/JIGPAL/1.1.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291868$195144C5-F133-4723-A119-1AA3DA6A7977","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291868$F4B018A1-BA50-4042-BB67-5C7EAC205896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e10a0a7903e1dc4b55fb8c3298e5c2e3c497a752","datavalue":{"value":{"entity-type":"item","numeric-id":674000,"id":"Q674000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560696b0ea00fdb3d0b792ace1a3538b114843ad","datavalue":{"value":{"amount":"+0.7709869742393494","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":"Q4291868$325E77B6-3964-4AAB-9F3A-FE962B4DE870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee679dc8306a060b0fecf845d95f9ef13bec5a99","datavalue":{"value":{"entity-type":"item","numeric-id":4202952,"id":"Q4202952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f439f04895c072995631c2bc67ae19f249855acb","datavalue":{"value":{"amount":"+0.7342774271965027","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":"Q4291868$CA95D714-DC0F-4D65-AC1B-578FAB645E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac195583cd810468555f86b230149f9ccf20ba1","datavalue":{"value":{"entity-type":"item","numeric-id":1350924,"id":"Q1350924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7730f621ac60ce7050eaf1f53695070081613c","datavalue":{"value":{"amount":"+0.7173162698745728","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":"Q4291868$E6C6887A-9556-4D06-B4F4-A20D84352381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0099421b77495c9042d64168e93159889b3ea1e","datavalue":{"value":{"amount":"+0.7154954075813293","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":"Q4291868$0B517239-A001-4998-A3AB-6187EC375425","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291868"}}}}}