{"entities":{"Q692203":{"pageid":694052,"ns":120,"title":"Item:Q692203","lastrevid":63761541,"modified":"2026-04-11T15:22:11Z","type":"item","id":"Q692203","labels":{"en":{"language":"en","value":"A generalized syllogistic inference system based on inclusion and exclusion relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112551"}},"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":"Q692203$D293BBA7-7962-4C0C-B1F9-E2AD10C89DD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b0b88c44bd31e84ecb531df6999cfb9580676f","datavalue":{"value":{"text":"A generalized syllogistic inference system based on inclusion and exclusion relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692203$A894846F-2E22-49A0-B358-C65C80F20B24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b827c9e962824d9aa216ed8b3e00146669ee8c56","datavalue":{"value":"1252.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692203$40E2E84F-742E-4E80-B89A-149CF63057B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a021318e13cf86c53d7f2a3af9e6d5a82acf1e3d","datavalue":{"value":{"entity-type":"item","numeric-id":692202,"id":"Q692202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$82209965-82AD-4353-9ECC-D98E053679E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$D1D8B6D2-D31A-4134-B0CA-6F97C8271E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7489c6ee2f6b00541d36810d81bbb03b1d8c436e","datavalue":{"value":{"entity-type":"item","numeric-id":361867,"id":"Q361867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$4E888E56-63ED-45C8-8C0F-FAF0EF66A62E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$A3052A6E-E9AE-47E6-9BBA-27A071AB70FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"891255cb5cfc7b67e7ef7115dc91b547aa6e665c","datavalue":{"value":{"time":"+2012-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692203$BA784835-45CE-411B-8A45-55606C85663D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692203$9EB83300-70E5-4BFA-8B09-69F855A1C0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692203$6FEC1C2E-6BBE-43C8-AFAE-3E7CEFE03EBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa640677dc713dff8099cbb078bd8d75237aed0b","datavalue":{"value":"6112551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692203$312C409E-D5A8-43B8-A815-5A28E53C6303","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc8a315b3a596e04e6f9464449576fc0324f9a4","datavalue":{"value":"syllogistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q692203$872988B0-8625-41AD-9C97-CFD3AD75A554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q692203$0A33844F-E1B2-4AD4-A513-AC2AC55B4634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q692203$4C0284C1-590C-4BAB-BE69-2D7BB3BB068C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q692203$92B4E5F4-CB34-4175-B6B2-88E672DD9FD1","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":"Q692203$B4AC38E1-7349-49CB-9173-10CD82CCEE20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e4f7c6c22a7934d2749d194e61bd3b52381d076","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9428-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q692203$4D37F786-1B97-4632-8CB5-70650610AAAC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f0f23967c47faedde9b545639b9583ffee04740","datavalue":{"value":"W2125580726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692203$58491300-811D-493F-99EF-E23607935FEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95cf88b88d0613bfb44e17d7b4067e58b9cc0435","datavalue":{"value":{"entity-type":"item","numeric-id":4774002,"id":"Q4774002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$4AECA29A-7B10-4541-A323-50ED4A5C2904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74298b4c1e8bbd30a970d02a9e801cc405c7708b","datavalue":{"value":{"entity-type":"item","numeric-id":969428,"id":"Q969428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$40222107-EB10-4B9F-9381-67A84882799A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f4587f7e2c2905f36dab32c14be8ea0bbe726d","datavalue":{"value":{"entity-type":"item","numeric-id":2626488,"id":"Q2626488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$544D36CA-4AA7-407B-84BA-915807A80956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4def0c415bde289b3d858362d003577b0275734e","datavalue":{"value":{"entity-type":"item","numeric-id":2255200,"id":"Q2255200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$1070A757-7171-44D5-B678-1AF1D5B3CBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14ba7ac546ed02a9751db49740b4fc66fc746f4","datavalue":{"value":{"entity-type":"item","numeric-id":692203,"id":"Q692203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$32112BA4-ACD4-4E92-9706-366A71238817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d97c6c2f7fb55841e5427d73c56e074f198aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":3583102,"id":"Q3583102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$9FD4ACB7-BD4B-4D7A-842D-6C2B8546A3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228591941fe2e6f0f2e00c42b7f5dff22c739d84","datavalue":{"value":{"entity-type":"item","numeric-id":5850983,"id":"Q5850983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$3359CAE1-0B72-4632-9576-DBCF6310E9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$A3774A89-FA49-453E-9BBD-187694B0DB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7734e3a37f8f386921dd700b2c8945288a828598","datavalue":{"value":{"entity-type":"item","numeric-id":2560218,"id":"Q2560218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$7771C104-F404-4CBD-AFD3-1BA4BE276035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$31AD417B-C029-4A86-96B1-54A5002C3791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a00abee89ec0090b88a5d4f56161295fce9b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1089332,"id":"Q1089332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$3274CA3A-9FA1-4CD8-9D69-687D89BA2E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"240db0b67b22aa15f920bc7c64c79a2706f7cd37","datavalue":{"value":{"entity-type":"item","numeric-id":918951,"id":"Q918951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692203$791C52D8-9310-4CE9-90CF-F7FD9F26182C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90135cbc17f11154eaa24ff42f0345cd9019d656","datavalue":{"value":"10.1007/S11225-012-9428-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692203$CBB9E686-7C8F-45A1-91EE-1EC5AF82A8DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4823f410609ad34913adbd55b938d2be2c882405","datavalue":{"value":{"entity-type":"item","numeric-id":4544206,"id":"Q4544206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0866096cef28efd6e8de04d260ac4e6832be821","datavalue":{"value":{"amount":"+0.7706990242004395","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":"Q692203$4A43F05A-6B9A-43C3-A7A0-2112F3F23F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8040ff7ca210acfd9b735b8c54badca0ce8e663d","datavalue":{"value":{"entity-type":"item","numeric-id":5850983,"id":"Q5850983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dc0c384adcaac6a88b748e06ade2871a06c7210","datavalue":{"value":{"amount":"+0.7590585350990295","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":"Q692203$50607A9F-F6FF-4CDE-BBF4-5C89FE4ED4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d87e5eb097508d29625dcf1dc7bea8564983e7","datavalue":{"value":{"entity-type":"item","numeric-id":2921939,"id":"Q2921939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3f59b93bbb92a3ceee8817ce24b15fe587f3b8","datavalue":{"value":{"amount":"+0.7498096227645874","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":"Q692203$4B216A34-852E-42D8-B7F5-5D581150BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335d262dd958b4256fb3fe182253c3356e31b83c","datavalue":{"value":{"entity-type":"item","numeric-id":2255203,"id":"Q2255203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef0bf916e1fffaa273f2d992cec399f89accca8","datavalue":{"value":{"amount":"+0.7485897541046143","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":"Q692203$64AEFED1-BBA2-4DF8-A4E8-1208D267F15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9a2f4469d5a252b0a2f062eeb5e8a25ff08afe0","datavalue":{"value":{"entity-type":"item","numeric-id":3108636,"id":"Q3108636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b858e6f54008f049ff1489e41f0d2be6ba57fb","datavalue":{"value":{"amount":"+0.7352548837661743","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":"Q692203$6E4821BC-3319-4A82-A249-FEB820599266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalized syllogistic inference system based on inclusion and exclusion relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalized_syllogistic_inference_system_based_on_inclusion_and_exclusion_relations"}}}}}