{"entities":{"Q3964529":{"pageid":5994434,"ns":120,"title":"Item:Q3964529","lastrevid":55119559,"modified":"2026-02-03T20:48:08Z","type":"item","id":"Q3964529","labels":{"en":{"language":"en","value":"A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786737"}},"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":"Q3964529$8C3CC941-DEAF-4C01-ADBD-06748CBFD1E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86d01938fd0c45c4d819229200e1a8631d82e2f2","datavalue":{"value":{"text":"A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3964529$0C4D9957-8A90-4BB6-BB43-48691FC751DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"023691cced89d863bc8d0d2282aabcd3291f8a35","datavalue":{"value":"0499.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964529$BBF3431A-6C6F-491D-AD57-AC024AB96D35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3189b12ebf23fee110343ef607d820c0385da92a","datavalue":{"value":{"entity-type":"item","numeric-id":775345,"id":"Q775345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964529$5C3FEC10-BBC9-49A9-B5BA-E102628666EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3964529$2CB90AAF-29C8-4AE8-B4C7-6EA38721F30C","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":"Q3964529$7279DFA8-0192-45EC-A095-98999D596165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964529$24FCB705-C07F-4B0C-ABCA-5B132935BCBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17ec90f5e521fc19d78129105286403953623c59","datavalue":{"value":"3786737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964529$5520080E-AC39-4F1C-AAAA-8511A78E5A51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbaca388df9b8b11e3121ab3da3648b5883b719","datavalue":{"value":"propositional calculi whose only primitive symbols are propositional variables and variable functors of n arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964529$DF839303-C161-458A-9159-3C0C44038807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a292fdf3572d2bbf11f9fcc1e83ae276e88722a8","datavalue":{"value":"propositional calculi whose only primitive symbols are binary variable functors and the logical constant t","type":"string"},"datatype":"string"},"type":"statement","id":"Q3964529$1A1CE92B-7045-416F-8D55-91AA488E087E","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":"Q3964529$763C84CE-A7FF-4947-965D-D24F224EF839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1af17e0d73049228024860a19942bc43e0b32ef","datavalue":{"value":"https://doi.org/10.1002/malq.19820282202","type":"string"},"datatype":"url"},"type":"statement","id":"Q3964529$3A4242DD-F187-4B51-B8F6-6BB66E55EA31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0725c1dad3504e635a9223272d9ace4b24ca8211","datavalue":{"value":"W1983411307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964529$BFBAE2C6-5D79-4E2F-B400-FAFF2EFA02BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d82c0bfcc8ba2e490d425f41002573ecedede70a","datavalue":{"value":"10.1002/MALQ.19820282202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3964529$D0A6A346-376D-4822-B746-547A904B6A8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3964529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3964529"}}}}}