{"entities":{"Q4331078":{"pageid":6360678,"ns":120,"title":"Item:Q4331078","lastrevid":89247101,"modified":"2026-06-04T16:45:12Z","type":"item","id":"Q4331078","labels":{"en":{"language":"en","value":"Syntactical truth predicates for formulas with atomic negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1740586"}},"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":"Q4331078$C81BEBCD-3BD6-4DE3-B3F6-A02213D9B36A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4724202c5f625947a4a53aba5a3ce631f47869a","datavalue":{"value":{"text":"Syntactical truth predicates for formulas with atomic negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4331078$4F21A224-16A6-4920-998F-C00038D95DB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4898a84a8b0178faf259666a226fe1e7ce1bbedc","datavalue":{"value":"1049.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331078$E6A73A5F-B6BB-4BEE-A8ED-A4225872E66D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ef714519a52e121efecc3375e42f26924e19397","datavalue":{"value":"10.1017/S0960129501003449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331078$734FE043-6666-4B78-B929-475D26A84206","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c4e4ec60c79ca2be79b8bf03698ab493279a70e","datavalue":{"value":{"entity-type":"item","numeric-id":688723,"id":"Q688723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4331078$AA3AA6FC-3FCD-4272-BD79-89DF1044CDA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4331078$5152D59B-4941-4603-B424-02323D5FE55B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-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":"Q4331078$4DEFDC24-D945-49A2-A3F5-240DF1F183BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331078$24CF9DCE-2410-4C14-B4FE-0B89EB022128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58efa3e660b4e0e4931a75ce35538069e76d806a","datavalue":{"value":"1740586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331078$29DF15A0-5118-4C40-B4A4-5980FBA4EE3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331078$7B5133EF-2849-40E7-AE40-5E604C254EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9131816eea2999596886b70960b373846718be87","datavalue":{"value":"implicational language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331078$AB17F4F9-A9D0-4CEC-BB63-CAB103B1AABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3762eae0529963d7c542b8715918a4b8ef660c","datavalue":{"value":"syntactical truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331078$3B9C6EC5-3976-4C20-BF1F-BD80658FC2C3","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":"Q4331078$AE1AD2E3-12E7-467B-BF03-71C705D3DF88","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036592000298bc13a6d8feab23948c4b2826b88c","datavalue":{"value":{"entity-type":"item","numeric-id":2732276,"id":"Q2732276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae106aef1d822987e33a298a4f9d3ea2a3b152ac","datavalue":{"value":{"amount":"+0.815111517906189","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":"Q4331078$876CECC0-AF1C-4E85-BB00-678EE4D0E299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d809cc7eba9cf0b5862d1ba3fea038268e630f","datavalue":{"value":{"entity-type":"item","numeric-id":722023,"id":"Q722023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1b99eb1e3439110938280072ab0ab12774cd166","datavalue":{"value":{"amount":"+0.7254483699798584","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":"Q4331078$90DBB4A6-E3A3-4884-B462-82B0BCE81197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0340189fff53a74cda0fb8d19e4152e312129246","datavalue":{"value":{"entity-type":"item","numeric-id":609763,"id":"Q609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112ff3d04927d2ccc21a25d94752c2a78a1c859b","datavalue":{"value":{"amount":"+0.7204936742782593","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":"Q4331078$2EE497BE-14D9-4F18-A17A-AF628CB9E3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bdb4d3f1bee3204f810dd51aa7cd348afc0a869","datavalue":{"value":{"entity-type":"item","numeric-id":5245970,"id":"Q5245970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a76a9370a0c730da981f87710fb8f006ae2c5164","datavalue":{"value":{"amount":"+0.7156712412834167","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":"Q4331078$89417944-5CA6-4925-A751-2AD78CD307B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659fd90407996d2e82677ba263bdb83bf1f9137","datavalue":{"value":{"entity-type":"item","numeric-id":1903591,"id":"Q1903591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d56e8ac5df49ff0371db7c41cd23da4c0fd663a","datavalue":{"value":{"amount":"+0.7033674120903015","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":"Q4331078$8147D834-FE2B-4389-8DF7-8EC37EAA316B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactical truth predicates for formulas with atomic negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactical_truth_predicates_for_formulas_with_atomic_negation"}}}}}