{"entities":{"Q2702607":{"pageid":2713352,"ns":120,"title":"Item:Q2702607","lastrevid":82740818,"modified":"2026-05-06T21:50:44Z","type":"item","id":"Q2702607","labels":{"en":{"language":"en","value":"The decidability of syllogism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1575031"}},"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":"Q2702607$F7AEFD8A-4E69-47DE-9083-5300DB66E27E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72cacf1757ed2e6dd6fdd08a60d03300330f1188","datavalue":{"value":"0986.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702607$2121956C-F186-4A81-95B1-172ED475DD86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4be3301cd970292cce02c71608c282412478f911","datavalue":{"value":{"entity-type":"item","numeric-id":360437,"id":"Q360437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2702607$0FEE1245-3787-4176-91BD-7738AACBEF6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702607$F80CB7C4-E7C4-4B67-9EF9-CE26A726E6AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702607$258B8437-B94C-4CDD-AB7D-E38C0ADC05B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c187acf0e00291e026dd4a5cf9c4baeee032d408","datavalue":{"value":"1575031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702607$44465600-8A83-4D12-B322-8C390BD1B1D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02c4362631c0126166851ee024de088472adc94","datavalue":{"value":"syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702607$DD79292C-3B86-4465-9C63-D8374310B34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702607$12E87893-0BB4-4276-B184-33B741047F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8661572aaccc8ef90a52fd7944cc932d8244f9c1","datavalue":{"value":"Herbrand normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702607$7C0513B4-43F5-4C75-9AFF-FF9D6BBC292C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42260b52b1b6dc99a2abaab0a10b389017f178aa","datavalue":{"value":"truth-table decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702607$138164C2-734F-485F-9F17-5CBBACE34FD4","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":"Q2702607$2DF4990E-B3E6-4AC0-8B9D-D46B6D6E876A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1030cdac41a4a06bb12fe39c8ecd8179397b91d","datavalue":{"value":{"text":"The decidability of syllogism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702607$4B11071E-6921-40F7-93ED-81FE0DA341A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc8974e6afc6273738ab571d85e87a69d84586f","datavalue":{"value":{"entity-type":"item","numeric-id":3714058,"id":"Q3714058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b925ddfeca3eb02fa2812d6790ebeea6f5a929","datavalue":{"value":{"amount":"+0.9026515","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":"Q2702607$AE820915-6552-4B2E-A073-2AC532174C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c488c9ff8bcb4e6bde6a94929a32b55eb9133284","datavalue":{"value":{"entity-type":"item","numeric-id":4005373,"id":"Q4005373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7bddfa72f5b7a575cdfdbccf540bb1a66a1f2c","datavalue":{"value":{"amount":"+0.88694483","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":"Q2702607$874B7B00-E101-460C-BB8A-38B61D1DC10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f9c94315b432fab4590f89748bcbe8a6d5db500","datavalue":{"value":{"entity-type":"item","numeric-id":3784066,"id":"Q3784066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777fafe77ce45cc8aeda57b2c3fe67b98bf459e0","datavalue":{"value":{"amount":"+0.88126606","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":"Q2702607$C8574675-823B-472A-B53D-9B4DBB944DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ab054cdbb793a1b53099a8ae21ab8bd2d106cf","datavalue":{"value":{"entity-type":"item","numeric-id":3815280,"id":"Q3815280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e804676394982ee5638aeb15e9f187cd8dc942","datavalue":{"value":{"amount":"+0.87790054","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":"Q2702607$7C17B65A-DA9A-4964-A2A5-6BCD890DC5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66eef756f31443401b9652fe2c37ae4f69b28909","datavalue":{"value":{"entity-type":"item","numeric-id":2940787,"id":"Q2940787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0a1c1ccf0dc8c79d319f018026270f4bd2461c","datavalue":{"value":{"amount":"+0.86789936","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":"Q2702607$D7683ADC-76D3-4D03-9C67-41E12B4AB349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665f8469dfa261454449272d5b44c6f4e85976c4","datavalue":{"value":{"entity-type":"item","numeric-id":4857763,"id":"Q4857763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541496c7cf81cf64b66620ecc53b55ea6bdec9b4","datavalue":{"value":{"amount":"+0.8660356","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":"Q2702607$F6EE5B5B-5FE3-4C71-A074-B7C6D466A9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b77ea9fced3f75f554ff5590f19494b6fe4f94f","datavalue":{"value":{"entity-type":"item","numeric-id":4016737,"id":"Q4016737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7518b7091a18d2a1eb1006db91f65cf64b345aa","datavalue":{"value":{"amount":"+0.86487","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":"Q2702607$BC76E522-614D-4C47-AF7C-B4E483326EA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decidability of syllogism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decidability_of_syllogism"}}}}}