{"entities":{"Q2973582":{"pageid":2984307,"ns":120,"title":"Item:Q2973582","lastrevid":79640966,"modified":"2026-05-06T14:23:12Z","type":"item","id":"Q2973582","labels":{"en":{"language":"en","value":"A construction of Heyting algebra on categorical syllogisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699959"}},"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":"Q2973582$D435D708-1D3C-4ADA-ABDC-FF73713ADCF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71340b41004642857dfc5af931632dd230943937","datavalue":{"value":"1393.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973582$8F09CBCE-0FB9-4C92-9CE7-D16C67BBBB18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff63aa1d27d8d69261d399751bc52b10cb794da7","datavalue":{"value":{"entity-type":"item","numeric-id":2100286,"id":"Q2100286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973582$FEE5AA49-911B-4B7C-841D-A04F3E1B1AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b5cb89c24f56c36d4f3e17039df19226ef29aab","datavalue":{"value":{"entity-type":"item","numeric-id":2024391,"id":"Q2024391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973582$98E57672-603E-4072-8A0E-403A669E0C9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2973582$09C42A5D-EFE7-4F64-BBEF-2DE145E6FC30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77b045d0d666dca148fab9d6de79b27ea85522fa","datavalue":{"value":"http://im-pmf.weebly.com/uploads/5/8/9/8/58988609/senturk_and_oner.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2973582$CC20D8A3-CB5D-43C8-8197-B5BDC08E2291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973582$45ACBF67-9F5C-4CD8-9B2C-3A2B7A19279F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973582$64E17F25-6CAC-47DE-9936-0D3E90AE2C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973582$DB5A7D49-7161-419C-ABB8-9903E859B6FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0afff4d8aeac417b19c82d4e4f271648934ada7","datavalue":{"value":"6699959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973582$6E76F20E-7FC7-432D-B46F-CDA56699A005","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02c4362631c0126166851ee024de088472adc94","datavalue":{"value":"syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973582$8AB67EFE-564C-4527-91B8-3A779AE995CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973582$DF0136DE-4456-44F3-8F92-7532EDC83FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45cf271583ae2beae5ace1cd07dfd5fc66bf010d","datavalue":{"value":"orders and lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973582$A960AE93-E56C-4A34-AB67-489EADAD5AF1","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":"Q2973582$B3EF91EF-835B-4EAC-959A-841BD523F0A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3198f77f2f94884031068d2a87983f1b4fc8a9b8","datavalue":{"value":{"entity-type":"item","numeric-id":2813431,"id":"Q2813431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107570eae5172c57aea65a5e651c79fb4d32649c","datavalue":{"value":{"amount":"+0.7815293669700623","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":"Q2973582$E14471E3-5D31-4CB1-970F-1421EFD09EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae6c514586550867a4083c5d4d395233bb97d45","datavalue":{"value":{"entity-type":"item","numeric-id":2156461,"id":"Q2156461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324bfd5ae43458d69ad681051050673d47f60b99","datavalue":{"value":{"amount":"+0.7406945824623108","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":"Q2973582$71B0FBF6-607D-4A9B-B88D-B2EED73408F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad588f7b4449825bc631ab3526096db3f14554ec","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2303cdbaac317af801478dfb0366c0de7cc53fb","datavalue":{"value":{"amount":"+0.7348757386207581","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":"Q2973582$F75B0181-855D-4E23-BAC8-65F2FDF246E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca91c33773a5226fdc5659841653de4610aa8d28","datavalue":{"value":{"entity-type":"item","numeric-id":5699491,"id":"Q5699491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef3a9eecfded6291386aedd6d43252005062e7d","datavalue":{"value":{"amount":"+0.7279137372970581","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":"Q2973582$9A4A0791-0322-48B5-8217-9BF507FE251B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11da3c77fa6b53da4ea8226500118b87944628af","datavalue":{"value":{"entity-type":"item","numeric-id":2887377,"id":"Q2887377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26327aa730a0935d197a93272d2ac86abfff961","datavalue":{"value":{"amount":"+0.726839005947113","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":"Q2973582$C28EFAAB-2C01-4694-B0C2-C3A25665FC2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A construction of Heyting algebra on categorical syllogisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_construction_of_Heyting_algebra_on_categorical_syllogisms"}}}}}