{"entities":{"Q2363508":{"pageid":2374251,"ns":120,"title":"Item:Q2363508","lastrevid":74338299,"modified":"2026-04-14T19:36:53Z","type":"item","id":"Q2363508","labels":{"en":{"language":"en","value":"Rasiowa-Harrop disjunction property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748783"}},"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":"Q2363508$528EE99D-1EFC-4FD2-A689-6575C0097703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"000f881f9c132d88908675f49cfca374fff30883","datavalue":{"value":{"text":"Rasiowa-Harrop disjunction property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363508$88FD6C1C-15BD-4DE2-9D72-4761D0A985A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b39bb3872c057884b68d11658ce48ff31a216644","datavalue":{"value":"1417.03278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$B3D76F68-8034-46A3-9BA8-3164D27975F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$3CC7BA0F-CF60-4BFF-92B4-4B23BC55F1B7","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":"Q2363508$D87ACD17-CE9B-43C0-ADB2-706058424C97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363508$0574408E-4D92-4B9E-8E11-3E4A1CC4F10D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$B6CA1625-C16F-4717-86BD-EB0A7D89D00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$2F49410A-D9FD-481E-93BA-E959B82799FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$21857838-976B-4BA4-887C-87212956BE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$196C9733-FEB6-41E8-AAA3-E1BF27CB38E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf35294679fb930d64640e3482d646a25dbed831","datavalue":{"value":"6748783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$7D649EC9-C7F9-4FF2-BA18-1589CA4FE1E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e98aeae2c95418d0c268f308d472c25c766edc67","datavalue":{"value":"Rasiowa-Harrop disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363508$17848743-057B-4D73-B2E6-84DEAB5FBC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363508$71A95B31-F2D8-4CE7-A6EC-EEE4958D217D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363508$8F3B13A9-34B5-4C46-8FD7-60412374BEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363508$6D07680B-A1DC-4381-9483-765EBE7CE0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363508$9FDF2C9B-225E-4C82-9E7E-2EA5B2398213","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":"Q2363508$F30E782E-E0A1-4C15-AE5C-7B193E6A1B17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eedd03c574c0cd36b74e7f7e457c57d48d23476","datavalue":{"value":"https://doi.org/10.1007/s11225-016-9704-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363508$09842F5E-F2D1-472A-9A08-A307B3F32C45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff162aa2d0fdaef9123f085af893ef9bc4cd48d4","datavalue":{"value":"W2565706384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$132ECF08-F6C2-4887-8912-ADEB427B03C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51042624209aede36ca68c862a6060dd8e9ded","datavalue":{"value":{"entity-type":"item","numeric-id":2971275,"id":"Q2971275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$9723E677-6E7E-424F-9130-AECFCB691E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$7E679EA7-1FEA-4CC4-AF50-7A170A701332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716e4d3b48a04539d2a9f1c959b61f267f231ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1037589,"id":"Q1037589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$EC1AA86F-8620-4168-B040-967C28BB3677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80763fc6efa7be9cdfdda78563859b368353a315","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$0C7A53FF-CF6B-4491-9BD1-1D139FAE0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8943a7776890839521c41d303d4b1f3cc9ce64","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$E6B9BBF0-67AF-44D5-971A-C0B8CA929F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce08575a67ba4d97f25cafdaafbc60b3ab6282d","datavalue":{"value":{"entity-type":"item","numeric-id":4644473,"id":"Q4644473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$C7A36C48-640B-4715-9F39-E4AB140F9AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$19249864-BCB8-4FAA-91CA-ED470844F411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1600a11b8df70aa7107a23e670c832566511a29","datavalue":{"value":{"entity-type":"item","numeric-id":3472080,"id":"Q3472080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363508$B249A727-9063-4990-B836-9540D382C0DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78f60df5f560149a3cb1717cd6f030aff0255473","datavalue":{"value":"10.1007/S11225-016-9704-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363508$81C31FE8-48BF-4668-A169-4A47860B3908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e289159aac412911418892251df2ccdf1333e75","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4aba59b15bfe0e6fc0adab057e8a66a6ad51c74","datavalue":{"value":{"amount":"+0.7570563554763794","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":"Q2363508$91C54205-EC4F-4BCF-A1F6-A303D7BA449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5875ac2c5466f67d2f3ce4d63598efb6842c6522","datavalue":{"value":{"entity-type":"item","numeric-id":1799037,"id":"Q1799037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4665481c64f6c0475350166f63e7504516af8a1","datavalue":{"value":{"amount":"+0.7570559978485107","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":"Q2363508$56E704AB-29A9-417F-94CE-9F2270959343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e2272ff914c60a7165e491e5adf7f7ae297c0a","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da95cfaa8750b60529b17a7edbdc8a614a74e688","datavalue":{"value":{"amount":"+0.7554141879081726","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":"Q2363508$2B3E2F71-5231-4831-9C9B-5395C3FC0785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f86146be4b879e30cb1389125f5b388fd413ff","datavalue":{"value":{"entity-type":"item","numeric-id":3322079,"id":"Q3322079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27e9c7801d31a5f79a00d99116443b7020765b89","datavalue":{"value":{"amount":"+0.7379849553108215","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":"Q2363508$5F79D088-DB85-493A-BB57-41715B1DFAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b7c5941d234d88b04c9a0ffe85f71276863f27","datavalue":{"value":{"entity-type":"item","numeric-id":1893145,"id":"Q1893145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c38c1b96fecba16d2724b779dbdc82919c682a","datavalue":{"value":{"amount":"+0.7333657741546631","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":"Q2363508$90DC4ED5-4060-44D1-8795-4B2D2D1324DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rasiowa-Harrop disjunction property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rasiowa-Harrop_disjunction_property"}}}}}