{"entities":{"Q5140122":{"pageid":7169693,"ns":120,"title":"Item:Q5140122","lastrevid":100393121,"modified":"2026-06-05T22:01:21Z","type":"item","id":"Q5140122","labels":{"en":{"language":"en","value":"Term negation in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285075"}},"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":"Q5140122$3B16BE7B-969E-485C-9DA3-07BCF8BD2A28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de41b191d23e9cc433e7298f6e71afbdec71bf6b","datavalue":{"value":"1486.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140122$2A0408F9-238C-4F07-8F44-264939395920","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab67b0f570d50bf4c44548991c3ffd3219638cee","datavalue":{"value":"10.2143/LEA.247.0.3287264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140122$3952A5DB-F4B2-4D61-8B7C-122594B519AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140122$6AF106D4-8382-42E3-882A-C3437F8A014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b218dccc4ff7cc230d4df35dedbdfc9bc3e1a937","datavalue":{"value":{"entity-type":"item","numeric-id":5140121,"id":"Q5140121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140122$67311065-723B-457B-B4EF-176C40291E2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c20a4c36a7fcb7496648edd7b1f2c80441e1493b","datavalue":{"value":{"time":"+2020-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140122$330FA945-74AA-49BD-9F07-7F12E7654F9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140122$CC5DC689-17BF-44E6-A1BF-21F7183333CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c5285c2165442369edf5fddb6ad50d8ea0261e","datavalue":{"value":"7285075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140122$917E09A6-D2F9-4124-89E9-1576DBD958F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9634e0b143d364bc8cc5951cc8bc578786654a","datavalue":{"value":"Aristotle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140122$EAD650A3-88A8-47B4-92DD-ADB865460984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1ee830a8f1ccee58e963dbe364dbd0883e04ec","datavalue":{"value":"contraries","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140122$4B02025A-917B-4DEF-8F16-2000584B2069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f181cbef843e3d86939e589846256831f2c92882","datavalue":{"value":"contraposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140122$AE6430E8-61ED-40CB-ACD9-421C60C33FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8847abd40e015112a77495b3b4a1ff409ebb3c99","datavalue":{"value":"law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140122$F012A17D-CAE6-4E66-A73A-115B9ECC0F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140122$62DE1190-A451-418C-B12F-2170AB4F87AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d696f67530a5bae76abe8e62ce57d1e047b7e3b7","datavalue":{"value":"term negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5140122$6829ACEB-3D70-4C57-A121-13A342F7635B","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":"Q5140122$BE64F31C-9378-458A-B50D-E1F044AD26F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a2b524698bf07d6174e1d8c4e7100756f71dac","datavalue":{"value":{"entity-type":"item","numeric-id":5871281,"id":"Q5871281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91cd61449d4d7b661f3d0838342a0c5ae115d952","datavalue":{"value":{"amount":"+0.7317122220993042","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":"Q5140122$443C991D-2C96-4D7E-AB82-7459D4736DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152e189d0b7a3d1de7b7ac5ab73982230b818d36","datavalue":{"value":{"entity-type":"item","numeric-id":2715526,"id":"Q2715526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed0ccc55c9bf5f67a1f44983e2efcf7d07c4204","datavalue":{"value":{"amount":"+0.7223014831542969","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":"Q5140122$386CD368-0F41-49FD-AF4E-E26F9CB36C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51fc2d844068e034eaf018070a296fd5daa4401","datavalue":{"value":{"entity-type":"item","numeric-id":5687862,"id":"Q5687862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c34c03e498f3f7d32610ca1ebbacd572bde2ea","datavalue":{"value":{"amount":"+0.7206135988235474","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":"Q5140122$ACBA1930-7808-4913-9EFA-86EAF5165644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435af022d6cecb07a4ea1f40c3b80ffad4bef5b3","datavalue":{"value":{"entity-type":"item","numeric-id":2035849,"id":"Q2035849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cd1a4096162e48513b5eea853a0a107fe53757","datavalue":{"value":{"amount":"+0.714587926864624","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":"Q5140122$F9BBA258-30B3-4EF7-B922-29488A91CEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385028f4bb2e053c267720f16ebb12abbe2982a6","datavalue":{"value":{"entity-type":"item","numeric-id":4722031,"id":"Q4722031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64aa423a5483ed3db30c397a59505637795ee355","datavalue":{"value":{"amount":"+0.7017716765403748","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":"Q5140122$9B037C76-2D25-4907-AF3C-5178FB4E6311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term negation in first-order logic","badges":[]}}}}}