{"entities":{"Q744331":{"pageid":746180,"ns":120,"title":"Item:Q744331","lastrevid":42669607,"modified":"2025-07-08T07:53:07Z","type":"item","id":"Q744331","labels":{"en":{"language":"en","value":"Clausal presentation of theories in deduction modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6351821"}},"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":"Q744331$AA0FD48D-3A07-47D2-9E83-F5C73CFDE902","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0c88b9bc25ad66062559243e1eb891759340ebf","datavalue":{"value":{"text":"Clausal presentation of theories in deduction modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744331$44B975B7-AD99-4430-BFA7-7B50339CDB26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea80e38a2f1d52094afc2ea7ff523e9dbc979d6c","datavalue":{"value":"1296.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744331$A9588167-6ECF-4553-8AEC-361800F4FD75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a08a3fbd8ee3e172363d06e56c95622af4f917ea","datavalue":{"value":{"entity-type":"item","numeric-id":744330,"id":"Q744330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$4043DE14-61FE-440B-8A72-FE91BD2C61A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$7D8D12F7-DA45-40DB-A497-24CC65BDBD3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2441aa21fc769b692d60ef11b2b483f412b32269","datavalue":{"value":{"time":"+2014-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744331$79FD32BF-42E3-4893-8E24-C968A21CD1FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2520236532ff37731e3a6e8e8b5f27d0db45b09","datavalue":{"value":"https://hal.inria.fr/inria-00614251/file/Gao.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q744331$EE6E905D-3749-4B75-861A-2296FD15FDC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744331$9B3798D3-4708-4E0D-BB97-9AC8AAC3933B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744331$397785BE-1D79-4203-929F-23158CA5DDB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8e484c97add22ea11aa7f734eba2076c76b072c","datavalue":{"value":"6351821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744331$E8CB1B25-8442-45F5-93F5-5C5312130B2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q744331$EBD0F835-1B62-4534-B01E-9DA9AE1B52FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q744331$A12BC15F-1D12-47A7-BBF1-ABFD6135EA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bde502d875fa8eeedd7c6109a48a0c26939dc22","datavalue":{"value":"cut-free proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q744331$7DA81841-9C38-4477-8B1C-3FFB7A5E7262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q744331$2114DA17-1475-4632-B4E3-18406AE9DE0A","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":"Q744331$757C200A-C629-4B9B-A66C-AB2C888CB21C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebab7a4c766db5fd20508fd5c86b42c16e537e18","datavalue":{"value":"W2058197979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744331$D854A3AA-0683-40B1-90F8-64CE9C6BABB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$9CFBE4B3-89DE-4C84-A02D-4E338B9CCF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$21C4A323-131C-4EC2-A32C-BC84B5D12863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$FF0715E4-ED83-4489-93CC-E7B7C5BF3420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2832e3c2b29276ade6ad5a52d97fd1d53a9ae20","datavalue":{"value":{"entity-type":"item","numeric-id":625290,"id":"Q625290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$0C4801EB-8D46-49D4-B8C7-548AAE358305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ca1cbc94b6fcdbcc40aa9495bb45517f812686","datavalue":{"value":{"entity-type":"item","numeric-id":3163883,"id":"Q3163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$89A8460D-69E7-4198-A7F4-1F6AFB270672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264a863f41b732822853937c407d70d9da64543d","datavalue":{"value":{"entity-type":"item","numeric-id":5200022,"id":"Q5200022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$A920EC14-6333-4CA0-8299-680D38AF88E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c055962b6eedab5c053c34ba719ed9c04e679d","datavalue":{"value":{"entity-type":"item","numeric-id":972424,"id":"Q972424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$871F9454-3CAD-4846-8937-D5291F3062E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426ca9ded4de1be1a8537da111e48343ed0e7f65","datavalue":{"value":{"entity-type":"item","numeric-id":2266989,"id":"Q2266989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744331$C484566E-E724-47EC-A7EC-078BB6686325","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a433842e6148d0d85369b54440af2ba9c9ecc4c","datavalue":{"value":"10.1007/S11390-013-1399-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744331$55F76E71-F4A9-4E08-9A06-3E8F7B48A293","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a2d0e76bfb62216ff5e3d2b00dcdef72f50cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4507491,"id":"Q4507491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3e3b0d4597dd9500fab9edb91f54eade2df4bf","datavalue":{"value":{"amount":"+0.9052347","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":"Q744331$39B2EBE0-8E5B-4FA6-92AC-75FCEBF579CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d07067797266df2d94f4e2753c3c55d85b1b87","datavalue":{"value":{"entity-type":"item","numeric-id":2498907,"id":"Q2498907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d3cafe590c74f99b40ffe99e28efcd5601380b","datavalue":{"value":{"amount":"+0.89597905","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":"Q744331$DACE84C1-B51E-4C32-BE44-105D94502B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d21b2c9bae3b192e8a3fc1b74c0d1eac0bd4f8","datavalue":{"value":{"entity-type":"item","numeric-id":4287503,"id":"Q4287503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027d61da351af0846221b639087b3a5a2c1acb0b","datavalue":{"value":{"amount":"+0.8864039","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":"Q744331$25FB4A9D-EAFE-45D9-8B3F-AAD63FD985F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4b16686d7b36e263ee416bbc9e63e6f48beff5","datavalue":{"value":{"entity-type":"item","numeric-id":3044504,"id":"Q3044504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65e0327d24573d41492350fa97078d7a21df0b7","datavalue":{"value":{"amount":"+0.88594687","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":"Q744331$65FDC43D-F3D0-43BE-8CD7-0DADDF84CFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b1bae5a826ff3c101df4e266158a8634958737","datavalue":{"value":{"entity-type":"item","numeric-id":6165006,"id":"Q6165006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72be38b9aae80ec728b5a42d25a45f83d61bfd03","datavalue":{"value":{"amount":"+0.884259","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":"Q744331$4912D14D-D1F2-4243-971F-70A31C46CF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4253fccc871044e483c35d08d07d67d9d8b67a","datavalue":{"value":{"entity-type":"item","numeric-id":4511321,"id":"Q4511321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59f33f52648275432d9eaf7d912d122de1ca0db7","datavalue":{"value":{"amount":"+0.8838159","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":"Q744331$DBA87921-D1F5-4400-AA9F-3BA15CDBBA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d38c75f38b0d966f50e54a687514e2c8c5e24ee","datavalue":{"value":{"entity-type":"item","numeric-id":4789148,"id":"Q4789148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e602feec3d40e10f7857d81f2dd8c42e05be052","datavalue":{"value":{"amount":"+0.88140434","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":"Q744331$7CA454CF-C705-4081-806F-5CF680EE049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5969d260ed273a4e7e205284010dc180181d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3192202,"id":"Q3192202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026707f0dfbb66842b6fc8518f2a07fd8125618c","datavalue":{"value":{"amount":"+0.87928593","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":"Q744331$DDFDBEE4-941E-4B2B-B724-F359CD566526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625175a9e6fa85f98769452b1e0dafbf68739440","datavalue":{"value":{"entity-type":"item","numeric-id":5429559,"id":"Q5429559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15fba3da22b1dc615c533fa9bd5958e60799da6","datavalue":{"value":{"amount":"+0.8768022","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":"Q744331$D72B5D36-A5C6-4670-BB70-56EF5060ACFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4ca972053202fcadf05af1326afd1b3c2d5c94","datavalue":{"value":{"entity-type":"item","numeric-id":4287499,"id":"Q4287499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21f1694d794122cbf047444606ec3a4f5cc78506","datavalue":{"value":{"amount":"+0.8763165","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":"Q744331$67774861-AC59-469B-AC92-B47C4610E58D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:744331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:744331"}}}}}