{"entities":{"Q2641293":{"pageid":2652036,"ns":120,"title":"Item:Q2641293","lastrevid":78996479,"modified":"2026-05-06T12:54:54Z","type":"item","id":"Q2641293","labels":{"en":{"language":"en","value":"Converse Ackermann property and semiclassical negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189702"}},"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":"Q2641293$5B381646-1CBD-4780-BC8F-9ECE891BC804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52b01838a9c57335576a215d13cd903ac0124cae","datavalue":{"value":{"text":"Converse Ackermann property and semiclassical negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2641293$C2098386-7FAB-4C44-AC6B-D925CADBED92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8acbcc1d89a092ea6452c56eb93e3872d49f571","datavalue":{"value":"0722.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641293$B65F13AC-043A-4B8E-9E75-3123D36E70D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a88aa97fb382f4975cea681c5ac43905c610648c","datavalue":{"value":"10.1007/BF00370290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641293$A1760914-8548-4849-A3BC-C04078443646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$56805E0D-884A-44A5-801F-3AEA16F19C57","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":"Q2641293$6C3CF102-3012-4D4D-B36A-CA8DB56CB77A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q2641293$63F1D723-905E-473D-9AE8-A61251CAEA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641293$32BBFD71-2A2D-46C6-AB3A-1CCD5AE96021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641293$6E76F1BF-B410-4A59-A5C8-2E2786E58EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641293$7D460A94-FD13-4EDE-B0DD-A5453ECD8553","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ef29cd0f1fa2cd35d7444d9d168084d70f2cfcf","datavalue":{"value":"4189702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2641293$310477C4-8682-4E47-A309-CDDD2E9E15E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4fb94bb1547df9c9e4b9488afb0785d336f73ca","datavalue":{"value":"positive systems plus semiclassical negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641293$2B2CFFD4-ED5F-4D5F-8E5E-5B759FC01008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b359d9cb9a9b93ba98893683b94678df9357c08","datavalue":{"value":"Converse Ackermann Property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641293$5C60C0EA-557C-43E6-B1FD-C7E45C49EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8208133853d3cffe09d2ed5a4b6181c17ccb9b7","datavalue":{"value":"Relational Routley-Meyer type semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2641293$2564F9FA-0B8B-40E5-BB3E-8159697CBFB9","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":"Q2641293$81FC17F1-218E-4A2C-A904-F0514B51B40C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5daf6be85f2d6d6205652155ad2ae927c3705a9a","datavalue":{"value":{"entity-type":"item","numeric-id":3237137,"id":"Q3237137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$F54CCA18-6B8F-4EED-93F4-70CF59696DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$C31F5D27-969E-40E3-BDCC-B5BF10608DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4609f74cce99643caffa0fb4b2abe6f32804f188","datavalue":{"value":{"entity-type":"item","numeric-id":1091381,"id":"Q1091381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$A73249CD-B335-4F94-A6D2-20E064DA17A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92946a0bb96de12de6b7c0981858dc082f1291a6","datavalue":{"value":{"entity-type":"item","numeric-id":2556851,"id":"Q2556851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$6A1475F1-6BCD-4286-A1F0-E1619267A1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$8B4056C2-E58E-4A70-8EEA-B304BECC43D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e19b9ac11c70c2ebcf90a02f1f65e02b87b9904","datavalue":{"value":{"entity-type":"item","numeric-id":5656747,"id":"Q5656747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2641293$422A1B63-D4F2-41F8-ACBD-3DF0C97C9792","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c22af7f7badf6951f34ff57c0dda8624688b80e3","datavalue":{"value":{"entity-type":"item","numeric-id":1091381,"id":"Q1091381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c5f3e5c37beebc80ddb1c2237ea6b29cac56ec","datavalue":{"value":{"amount":"+0.90351665019989","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":"Q2641293$FCB334E3-18E7-47A2-9B60-13737F42A4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ecd6ec3dcda448ea440192530bf121fd8f7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5437781,"id":"Q5437781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"542de4f10881189f433d185436b94f50997e5796","datavalue":{"value":{"amount":"+0.8748003244400024","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":"Q2641293$CB6D6393-7B99-48E7-89B7-EF6CAAECCE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697ad0ba4587516712819751a3169294e80c0245","datavalue":{"value":{"entity-type":"item","numeric-id":3367504,"id":"Q3367504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98ce6bf9f270972ef0d4904141e882fb5fc168a","datavalue":{"value":{"amount":"+0.8244726061820984","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":"Q2641293$6D6F58AD-3375-4D72-B0C2-6E7F5F888B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09971581323988f2325c5cbffe9856ed6704d56","datavalue":{"value":{"entity-type":"item","numeric-id":4206709,"id":"Q4206709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044cd7855656f0f9c507527fcb6f1827ec8ad5bf","datavalue":{"value":{"amount":"+0.7470230460166931","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":"Q2641293$F183B1A3-EC5D-41FA-8451-1A9542C99222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3248e3fd3812a4c413c4768c038557a6a83dc831","datavalue":{"value":{"entity-type":"item","numeric-id":5274887,"id":"Q5274887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d054250bcc33e94b48b41d2a76b655a0ed23ff33","datavalue":{"value":{"amount":"+0.714722216129303","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":"Q2641293$F471E043-6277-45CC-AA62-A70AC5F8C2F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Converse Ackermann property and semiclassical negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Converse_Ackermann_property_and_semiclassical_negation"}}}}}