{"entities":{"Q1267772":{"pageid":1278522,"ns":120,"title":"Item:Q1267772","lastrevid":42993680,"modified":"2025-07-16T17:08:53Z","type":"item","id":"Q1267772","labels":{"en":{"language":"en","value":"Automating the synthesis of decision procedures in a constructive metatheory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1210279"}},"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":"Q1267772$A6979FD0-EFD3-4BA9-B5B8-D7E83FD35D0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf898812bd030c5fd50fabb38d8ceb39084288a7","datavalue":{"value":{"text":"Automating the synthesis of decision procedures in a constructive metatheory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267772$96DCC5AD-0F81-43F3-854D-53620AAC59BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e46a65c5daecd798709af27ba961af6958212ae","datavalue":{"value":"0905.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267772$43B436F6-1EBB-40C9-9795-83081E641CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d3d9a17b107292d85f6a97860277d7af96d29e","datavalue":{"value":"10.1023/A:1018943603394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267772$C2A0FD7A-85A8-4D85-8163-66B264574818","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$13526064-677C-420E-BAC3-0830E05F9804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"328bb95842607b9e49f820482f8fba3e64676f73","datavalue":{"value":{"entity-type":"item","numeric-id":1267771,"id":"Q1267771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$44B610B6-B6A0-4795-A434-C52DECE24E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$91AA50F7-D09D-4E43-B158-8D215651AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$1101D4FD-AFB6-40DE-B38C-82E4583E09B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$53768224-08B4-47FF-9DE9-286C9526ACE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec3153ba3dc7a85e2777def2dfd25825f99d8e8","datavalue":{"value":{"time":"+1998-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1267772$7FB40D32-4F8A-4746-B217-E8C6D2E45450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267772$DBBCB19A-366E-447E-B3A6-EA8205E0B055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64fa198f1bc55dd1919cb5bca22e9eacef4dc438","datavalue":{"value":"1210279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267772$5BB2F695-BE60-4CB8-BEEA-CC81B8A0DEDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267772$E7590594-79B5-491D-9D0A-77703651A619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267772$E21F79A5-BEBC-4363-9B74-9B8B42D4ADCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a9da97d951841d42c7da770d6802f50a52aa324","datavalue":{"value":"proof-planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267772$8050CB40-26B2-47AA-BCB1-4DB267838198","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$7D076676-968F-4C88-822D-69FBD7245BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f10e7acb77aa2a053602f0044c4781346f0cbb55","datavalue":{"value":{"entity-type":"item","numeric-id":31444,"id":"Q31444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267772$26E03B9B-9AA9-4C0E-9249-A7E3920F03B0","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":"Q1267772$719F1F0D-EB07-47A2-9DAD-0A1D51D45F6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7340681aa65aca5c3e43947d3d9b38c3964f7a4","datavalue":{"value":"https://doi.org/10.1023/a:1018943603394","type":"string"},"datatype":"url"},"type":"statement","id":"Q1267772$A576A528-B4A3-41D1-B79C-1D3268BEE496","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6813d3f43799d9ecbea2986affeff2cdbf3bdc41","datavalue":{"value":"W2129600058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267772$9338682F-93E5-42BE-8B64-15E1F2DF8B5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5467214381d9eb97275e6ca78397919ead761","datavalue":{"value":{"entity-type":"item","numeric-id":5308093,"id":"Q5308093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8acf61e88d2a564cbb597bcc7b3860ee9158e4fb","datavalue":{"value":{"amount":"+0.87128437","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":"Q1267772$536FD6EA-8BA1-4200-8EE1-3104C9BEC9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9412106a815dd64ee4c697e3cb855a68d25603d9","datavalue":{"value":{"entity-type":"item","numeric-id":5428261,"id":"Q5428261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2647410db0ea0de12ca32baee5741c2fbd432fd9","datavalue":{"value":{"amount":"+0.8679743","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":"Q1267772$F08DD637-4C9B-420E-B403-D98DA67E9F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32b2ab51f216d6f4fce5c0e788997135b08b39ba","datavalue":{"value":{"entity-type":"item","numeric-id":4503902,"id":"Q4503902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50e91f00ac3c8777dcaf03ba508728e834e8a86","datavalue":{"value":{"amount":"+0.8521007","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":"Q1267772$EBD20100-C823-4580-80FF-C4458765C45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b9277494a394db27ceb6132ce39187d5db6537","datavalue":{"value":{"entity-type":"item","numeric-id":5463897,"id":"Q5463897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8097a14caa964c4caecbd52a0c04deb24c6e24ba","datavalue":{"value":{"amount":"+0.8514505","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":"Q1267772$BA53C23E-4339-4109-9F7E-C476A73908DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78dc6b1dcac5ded0b39e094a9ac05742cf25eff7","datavalue":{"value":{"entity-type":"item","numeric-id":4245942,"id":"Q4245942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da63328bc33988cd4462d1e07f0175d3b80319ff","datavalue":{"value":{"amount":"+0.8500131","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":"Q1267772$CF225251-ECC9-49A6-8D46-EAF3BF5A2DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17a0214d51531a33f29c301b3359a976bc5385e","datavalue":{"value":{"entity-type":"item","numeric-id":3484381,"id":"Q3484381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bb0ea30516e38abedbb404555cc956bbbfabfa3","datavalue":{"value":{"amount":"+0.847646","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":"Q1267772$C2035249-64AA-480D-A380-04C081D2E7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f86e0a77416a4335a9c34ddac74e23e8892d345","datavalue":{"value":{"entity-type":"item","numeric-id":2185494,"id":"Q2185494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707379aff6a26103f171ae51c64b486b19ae6416","datavalue":{"value":{"amount":"+0.84759396","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":"Q1267772$21709CD1-8D84-473D-98E6-856EBCDC60D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac10f218cdd4ceda89fc640d7a05e81f20db453b","datavalue":{"value":{"amount":"+0.8423769","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":"Q1267772$6368AF43-3527-487F-A285-964B35C6A293","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1267772","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1267772"}}}}}