{"entities":{"Q5437781":{"pageid":7467345,"ns":120,"title":"Item:Q5437781","lastrevid":40964481,"modified":"2025-04-16T08:38:57Z","type":"item","id":"Q5437781","labels":{"en":{"language":"en","value":"Converse Ackermann property and constructive negation defined with a negation connective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5230345"}},"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":"Q5437781$60F1ED02-50EB-47CB-9532-052832E9EEE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a357b4aac211765ec9c5ad4368af4dde955be21","datavalue":{"value":{"text":"Converse Ackermann property and constructive negation defined with a negation connective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5437781$9569F996-4359-4125-B9F8-96253966DAD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86f41ab92af56fa0dfc0727026abc266277e7bad","datavalue":{"value":"1134.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437781$F85BD86A-D43D-41E4-8EAD-D862A58F33A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8964cc33bb39b93c354d1f5611b374dab9f8e7cc","datavalue":{"value":"10.12775/LLP.2006.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437781$B97C9BB6-36E0-4E53-9932-B8A4859D23D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5437781$097AA0A7-023D-49F0-BACB-A28852ED6516","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"372f752557d73ba82f074b12840a5ad5472fa63a","datavalue":{"value":{"time":"+2008-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5437781$AFF08070-79F3-404A-8AEF-58A27030A5E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437781$AF87A19A-D73F-4629-B219-B4FAE76CEF97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98a484090285e9f9e934672fdb9a2b474eaf08c0","datavalue":{"value":"5230345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5437781$EDEEBFE8-9307-4597-B2FA-E3F9F34E48C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95cbbc44d0afd1c7a0caae97de5cd155abe91220","datavalue":{"value":"converse Ackermann property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437781$E815B098-16F1-4DD1-ADB7-D75B65470EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54966808d51f8bb3f443d062fb916e73154dc20","datavalue":{"value":"constructive negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437781$C9A2561D-3D1A-4181-BEC5-3958347B96E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8a51125da10d03ca9fa271ce1aece0d714a84ac","datavalue":{"value":"relational ternary semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437781$44109163-3521-44E8-8B9F-3BBF8DC117F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5437781$06509E9C-1E6F-4C55-B00F-74F9E10E9C68","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":"Q5437781$774CC5FA-5CB2-423A-AA21-CBFEC773FB7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49e24ed80b5c9836a21313efc365d3c22728554","datavalue":{"value":{"entity-type":"item","numeric-id":3435247,"id":"Q3435247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0bd1b5ff56ea5a454614f8556e066872a04dadc","datavalue":{"value":{"amount":"+0.871434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$3B63BE29-F0E2-42B6-B987-02B54B194214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28667e395d07c6e76dae542564f0d91f95255579","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9137a019253ef31451729e4d420e953752cfee","datavalue":{"value":{"amount":"+0.863402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$114D1FA4-47A9-4A0F-8FAF-2A116E6E2B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b152e2752cf53554da917f1cdfc78367b49e2577","datavalue":{"value":{"entity-type":"item","numeric-id":1969807,"id":"Q1969807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93fab72044cb83aaf1e2d9f03eab5b884cada03","datavalue":{"value":{"amount":"+0.8587046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$75093EF1-4D5A-4B50-9321-E1F9F08E861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118e1c50da73211ee836c0c007d3daea79a7c713","datavalue":{"value":{"entity-type":"item","numeric-id":4385672,"id":"Q4385672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15359db8a6eea5d35201b903db1b26d3431f3c41","datavalue":{"value":{"amount":"+0.85594714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$95825939-17AC-4AE9-A6CE-1845B4E60819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1207084a1bc19ffa93255e8b9de27b4c5a2e3b49","datavalue":{"value":{"entity-type":"item","numeric-id":5202156,"id":"Q5202156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6e0d353106fc4136087754fb0ecc24a02fa12f","datavalue":{"value":{"amount":"+0.8557813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$63A2DB53-65DD-48B0-B784-790770FD6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6154f621dc3f93142b95239f89d54c3707757a6","datavalue":{"value":{"entity-type":"item","numeric-id":4719367,"id":"Q4719367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab9dca42351f03b36d8a89e83ad45503c03e2f1","datavalue":{"value":{"amount":"+0.85074234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$222D0B71-0A3B-4E1D-BE61-212681220F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6f3c95250b0b00dab221e9981e99a7ab73780","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c0e1d1addd1214d3a285ebdbec026ac1b0e083","datavalue":{"value":{"amount":"+0.8482098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$E54E8452-37E1-4E9C-9351-917CB97F3F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b687e543e3501d881a6a75fe38d84fda37e24d","datavalue":{"value":{"entity-type":"item","numeric-id":1908857,"id":"Q1908857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f56ff77ac0df57cd26355f3d3869a238ad3b358","datavalue":{"value":{"amount":"+0.84471893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$4B898A13-7774-4D48-8616-292EE3B60249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e48cf76299578cb3051121013979ee194b74cfd","datavalue":{"value":{"entity-type":"item","numeric-id":5411405,"id":"Q5411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6028d1f672b87dcded610795a5d5fd5fced1a150","datavalue":{"value":{"amount":"+0.8436419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$E4DBEEC3-BC31-4A92-8599-92E1525303CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084cd9588bf9024d560f651ec148fe9ffc3c9960","datavalue":{"value":{"entity-type":"item","numeric-id":2641293,"id":"Q2641293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca9293abe7497924457e81d34c5eaaf3775c653","datavalue":{"value":{"amount":"+0.8413749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5437781$6BE031A5-00CF-48DC-828D-75329BE91AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5437781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5437781"}}}}}