{"entities":{"Q3643364":{"pageid":5673270,"ns":120,"title":"Item:Q3643364","lastrevid":49752319,"modified":"2026-01-10T06:56:30Z","type":"item","id":"Q3643364","labels":{"en":{"language":"en","value":"A term-graph clausal logic: completeness and incompleteness results \u2605"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5629410"}},"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":"Q3643364$9CF8F91B-FDAB-445F-8832-A38B5050497C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6059981678ed28024ac9c048265c3f09650f712","datavalue":{"value":{"text":"A term-graph clausal logic: completeness and incompleteness results \u2605","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3643364$6EAEF91D-3B9D-4A7B-9953-A4150A50F2BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5e644c96896d14f9b2b376c478bc97567ecae66","datavalue":{"value":"1180.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$7E4BEDE4-C849-4F45-AE55-E7279282154F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef8d9904a40baa08e6f0a10240e7a4f7764dfa82","datavalue":{"value":{"entity-type":"item","numeric-id":167062,"id":"Q167062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$105B50AD-F017-463A-9861-34FB1B5BA71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59de4dec21386ca0323d0bc61658e95d7735b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":912604,"id":"Q912604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$7CEF3488-C82F-4A86-81C2-B3BFDA62E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$4A89099C-C496-4C80-90C1-F8B54B11E12C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$FD7799EB-2C39-4DC2-9F9D-11E6ABC4FE62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"429e5dc74b4b8740784417ec8a9f9bcbd45639f0","datavalue":{"value":{"time":"+2009-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3643364$59A100DF-023A-40D6-8F4E-C7904B0F0154","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$FA9E97D5-5C1E-4E6B-89AE-88FDE99CB2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$84AF494A-B75C-4C07-A621-08F3E3633376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$2A54E7F6-5EF2-4721-841E-DE578E131964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fc9defc5f16cb666281ded1cca59892998c8657","datavalue":{"value":"5629410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$DCB5AB36-0AE6-4A49-84B7-CD424F8634C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2a5ce1e45e793b2f947a73f5df069c661d7fe7","datavalue":{"value":"term-graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643364$6AB080EF-CF2F-452C-81F8-4621C5222C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643364$D8D10382-3E31-467C-B231-28159262FF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824f8f2ef39d1e7ce40622b86509cec7f9118e82","datavalue":{"value":"infinite terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643364$B3B5DD50-6D03-45F8-B045-EA2C27AE9CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3046302bf7aa3677520cda20a3b15230aee62f8","datavalue":{"value":"rational terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3643364$E1FEABD8-3ED4-47CB-A77E-49EF1D9C201B","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":"Q3643364$591B64E3-DD10-4379-8F68-F74433DD7EAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b2a8f0d70831488506c12d62f30ec6e1d56e59","datavalue":{"value":"https://doi.org/10.3166/jancl.18.373-411","type":"string"},"datatype":"url"},"type":"statement","id":"Q3643364$24F4C545-70C8-41C8-A06A-BF96878C9CB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"913fdf00b94b0b060eba8c84c37a41ff432bb6e3","datavalue":{"value":"W2048319959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$78586056-0310-4571-9F5A-6A00786908C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$869878DE-E4A8-4F29-B38B-596BC4F7013D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$91F84F3A-12C2-47E0-AFEF-F3ADB3E20966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$AB72674F-ABED-434B-AB41-CDA7236C9679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$A0F17124-3B7A-45B9-8CB9-F2639A0E8B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c3491ad2c05915255ccec86bc9c770e938c9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023829,"id":"Q4023829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$C001416F-AF49-4203-A91E-763629048CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3fa2453c158ab62a094f5481e2295dbbd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5528168,"id":"Q5528168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3643364$29AA6E87-956E-4724-B14B-E5603469951C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73935fbcbf98f9ef9d440fdec7a6fe8c02d3799d","datavalue":{"value":"10.3166/JANCL.18.373-411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3643364$26EA243B-53FD-4A5F-9F43-A71E990BB39A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6117ce83ca7db8ab2011145e393dadffd8ac30e","datavalue":{"value":{"entity-type":"item","numeric-id":3656774,"id":"Q3656774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4859fc3b216038d0b2649347b921042840348b0","datavalue":{"value":{"amount":"+0.86601734","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":"Q3643364$51DD5BD0-5C15-4C53-B672-9023D617A225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c209f9b5188eefe01c20256ac617269ab6ae3d3","datavalue":{"value":{"entity-type":"item","numeric-id":4933321,"id":"Q4933321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178101788ff4784f15ea3ce2d8c9c00f6e14bb14","datavalue":{"value":{"amount":"+0.8642036","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":"Q3643364$8D3BFCAF-0B32-4A91-88F8-824EF6655259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"262cee6a0be04917e8b2aa10f7c3d46b849f70c9","datavalue":{"value":{"entity-type":"item","numeric-id":4503913,"id":"Q4503913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53788cff30038824fe7942e7658d1e2e670084d1","datavalue":{"value":{"amount":"+0.8635448","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":"Q3643364$76C37E95-A254-4785-828D-592388EDC1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e687553961f2121c52aedafb75ef04d6e47ed27b","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3ff4cf459aa0678e3db3b48047739e030e98c99","datavalue":{"value":{"amount":"+0.860428","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":"Q3643364$A9DE7A53-9850-4E97-9596-AFDDF9FFAD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fcf196c14d2dc4019d82ddcb9f7ee163875b9ac","datavalue":{"value":{"entity-type":"item","numeric-id":4834298,"id":"Q4834298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645e93e1e15c30128828d596c3f1be97ffa54664","datavalue":{"value":{"amount":"+0.85811365","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":"Q3643364$740918E9-1C5B-4C47-A904-42D116960423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51d271d075e3c8d068a9b6b4b1b48fe176a9587","datavalue":{"value":{"entity-type":"item","numeric-id":4635595,"id":"Q4635595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694b6107cede6ee6681b7af41325697461b98bfc","datavalue":{"value":{"amount":"+0.8570139","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":"Q3643364$CFDFD6C6-00EC-40F0-A9BE-57F992AF8948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab9eff004440717ac12f3c036d5eca67c3856ff","datavalue":{"value":{"entity-type":"item","numeric-id":5278208,"id":"Q5278208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694b6107cede6ee6681b7af41325697461b98bfc","datavalue":{"value":{"amount":"+0.8570139","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":"Q3643364$523F3CFC-BD58-415A-AB4C-4C49F76B6BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c345a05889e2b88481ce717130a62ac0389f0","datavalue":{"value":{"entity-type":"item","numeric-id":870359,"id":"Q870359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627520e3fc9aafceff68f4a608bb1876cdce3f4f","datavalue":{"value":{"amount":"+0.8555073","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":"Q3643364$172BFA5A-EDA4-4ED9-8317-C40C5FAAEE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc6cfa33195c60907997991dadb1278b660527e","datavalue":{"value":{"entity-type":"item","numeric-id":4508267,"id":"Q4508267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b787cc657e8eef2bb725be77a20e0dda603cddf","datavalue":{"value":{"amount":"+0.85523117","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":"Q3643364$3E4FF153-4EDE-4022-BB27-DB935E10BFE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3643364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3643364"}}}}}