{"entities":{"Q799664":{"pageid":801512,"ns":120,"title":"Item:Q799664","lastrevid":64464588,"modified":"2026-04-11T20:03:39Z","type":"item","id":"Q799664","labels":{"en":{"language":"en","value":"The two-property and condensed detachment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873294"}},"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":"Q799664$7E8F98EB-4105-478B-BB45-FA6BF83E1CD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f96bf3d4a9b757479ea0447d1a603c2d0688f21","datavalue":{"value":{"text":"The two-property and condensed detachment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799664$1D61C8AE-E0A6-4408-B35A-A8F2854FED9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6d2ecd920ece90ce7e6ceabfb2c02e67ea221cd","datavalue":{"value":"0548.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799664$1AD365D8-2BE6-482E-8AB6-73DBBC47EB99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2225b2ceeb30fd83d834a4b71c2102b1e0ab167d","datavalue":{"value":"10.1007/BF00370343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799664$C42E15EF-6058-4FA6-87ED-3D73E5E5600A","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":"Q799664$3996BA74-136B-4A40-8DD6-53483DDABA37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799664$A97B190D-5FB7-42A6-AB28-59C494D4BFEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799664$40AA0A11-75EE-4EB6-9550-DBE6EB92F4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799664$1EF1A636-CEBC-474B-AEB6-13024C6EA954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e307ab43d45f77df1fa13570c145690aaa44f23","datavalue":{"value":"3873294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799664$35BFBC31-FE45-42F4-9736-9E6CF7ACB027","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb80e27fa4a90e7289775e8dd99628f9c69e807","datavalue":{"value":"non-classical Hilbert-type sentential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q799664$9A8EAFDE-78F0-4BAC-A997-CF3C443C02BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7659bb8879fdc0319bd5c16763d4231270b7b686","datavalue":{"value":"condensed detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q799664$ABD6A536-4452-463A-B881-EFBD26A77DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c59e141e980ce500988b4af728bdcf6b52499d","datavalue":{"value":"two- property","type":"string"},"datatype":"string"},"type":"statement","id":"Q799664$808FCA32-7490-43CE-ADB2-73778010D786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64d5e84ed62a68915adab74832866a355f76b5a","datavalue":{"value":"D-groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q799664$A2FC9E96-F46D-405B-99D9-01E46524812D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09ff7eb290cc56671cb0c745dcf7f762ebe791a1","datavalue":{"value":{"entity-type":"item","numeric-id":1242882,"id":"Q1242882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$AB2E9B14-69D4-4B81-9243-10FB2564D3FD","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":"Q799664$41419486-A3AC-45D7-8D33-4E456020EBAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43b8b55d2e955bc288fad5f0ff66351441a39ba","datavalue":{"value":{"entity-type":"item","numeric-id":5652648,"id":"Q5652648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$5BD67422-4296-4C16-A329-EF029384CA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2e1730505dc38b28b0c175adb4ff33adc97db1","datavalue":{"value":{"entity-type":"item","numeric-id":1242883,"id":"Q1242883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$C876CB7F-910C-4775-A84A-74180958C5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$B0034ACC-25CE-4DB3-83BB-20BB9C93BD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$CB543EEF-5796-45A8-A8CC-174F532D2417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b595ad0e5b8905c51ca026cb1705ec3659a79bf2","datavalue":{"value":{"entity-type":"item","numeric-id":2533179,"id":"Q2533179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$3FD71831-35AE-45BB-B401-0C22B2DBB7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6984b18e2c4a10de560f3af6cfbc0f80d272ce9b","datavalue":{"value":{"entity-type":"item","numeric-id":4190134,"id":"Q4190134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$A5AC9B6C-8248-431F-A9D2-CB44884A4C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$0FAADA87-4952-4901-91B1-1A523A8DB5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5700cb31135742c28553eda28989b80f165cc32d","datavalue":{"value":{"entity-type":"item","numeric-id":1165832,"id":"Q1165832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799664$BD3DD828-0528-4BEA-91F9-6B1A9EAEAF1C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2fc64a10a5a53404108a9bc1ba731da5dd71ca2","datavalue":{"value":"https://doi.org/10.1007/bf00370343","type":"string"},"datatype":"url"},"type":"statement","id":"Q799664$96D0D6BA-2131-48F4-AC81-04D8C06AC8AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87a7a689b15faf020d4153afa4e2a2cae14c8a3b","datavalue":{"value":"W2079642026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799664$F0D7608D-FEAF-4A58-936B-29DA0C55D86F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e21d551ed4c80884fe63570495ef844d615f4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1060210,"id":"Q1060210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f6d6b67eb5b2d56a2111c226e126e56a2106dd","datavalue":{"value":{"amount":"+0.8130882382392883","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":"Q799664$8588B0CA-E045-4439-A7B2-A9CFEB65AE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9879a0df348d663bc83dbbc11769795fb7b77fa","datavalue":{"value":{"entity-type":"item","numeric-id":1309333,"id":"Q1309333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267987ee97338b2d89b5fceec0ec1334897c148","datavalue":{"value":{"amount":"+0.7440038919448853","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":"Q799664$81E162BD-0844-40C9-BFC0-B065434A2FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4166e17fbdeeddb801569cb7c71ca9bef0cc5872","datavalue":{"value":{"entity-type":"item","numeric-id":1181717,"id":"Q1181717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89a74329bdae5d7c9b923b77faf1a9e448a4e5c2","datavalue":{"value":{"amount":"+0.7270412445068359","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":"Q799664$8007F4BC-7153-48BC-B9A0-E944A822F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27b4f735c9b2a4668f9812a90084bf78f5c96da9","datavalue":{"value":{"entity-type":"item","numeric-id":1383993,"id":"Q1383993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c0f9ab68a1aebcc5e61a82ced2aaaafd696603d","datavalue":{"value":{"amount":"+0.7196221947669983","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":"Q799664$23BBFD12-49A8-480C-B8A6-D95A47153285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d26df49724ef8fdb7f8d4d8418e6086664fce81","datavalue":{"value":{"entity-type":"item","numeric-id":689202,"id":"Q689202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2970a09ea68feb3a66ad92847623c36563f65b03","datavalue":{"value":{"amount":"+0.716437041759491","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":"Q799664$23935C23-D502-4432-BD2A-5CBB34BA9BD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The two-property and condensed detachment","badges":[]}}}}}