{"entities":{"Q3592800":{"pageid":5622705,"ns":120,"title":"Item:Q3592800","lastrevid":81040022,"modified":"2026-05-06T17:34:44Z","type":"item","id":"Q3592800","labels":{"en":{"language":"en","value":"First-order anti-intuitionistic logic with apartness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5194699"}},"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":"Q3592800$B3EA98D8-1C6F-4312-9CFF-1BC0B655AF75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bad87adcdada8a8d8abc96d0ca9f7d2970af00cd","datavalue":{"value":{"text":"First-order anti-intuitionistic logic with apartness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3592800$80DD67CA-5A2E-49CA-A240-D0AAD5607809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55f14d571d45430d4744084ece8b2aff6e2f1e4a","datavalue":{"value":"1117.03324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3592800$8BD6DB0A-3C16-4E22-AADE-23A686A54458","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ca236b8206cf0cd272392bbbfd9a00675222552","datavalue":{"value":"10.12775/LLP.2004.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3592800$3520B3DF-A9A2-4235-8A8E-2323B2926FD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"219af350a992085dc8e722411d17ef1ea966ae61","datavalue":{"value":{"entity-type":"item","numeric-id":1775869,"id":"Q1775869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3592800$04EE545B-DF15-4FB6-84CA-36F4635DC1AC","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":"Q3592800$4387AFCC-1764-4F1B-98DE-A47FE5587CA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"892e1c80fb63024570d29dbd990e9f3404511c8e","datavalue":{"value":{"time":"+2007-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3592800$21E87BB2-CE4F-4EF1-8AAF-4A1316737353","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3592800$B15BEBEE-48F5-4334-92ED-F12D1187DEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3592800$D299CCAD-FE5B-4C89-BF06-BE4FDCE76590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"007e78f8af105c7e0f39a26d428c2c52314168eb","datavalue":{"value":"5194699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3592800$CED0B60C-4427-4E51-9FAE-6AD0A8671A02","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":"Q3592800$E475DE67-F6DC-452E-B411-2ACE4FD45A45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a4e176ebb16c9f1b52132df1a77120a3779971","datavalue":{"value":"https://doi.org/10.12775/llp.2004.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q3592800$C930DAF2-9DFA-4109-9CFC-DCEADAD60FB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7c66399a1dd175a1c2e9e698a5eb5193bf1dc3f","datavalue":{"value":"W2107520391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3592800$67063C00-0CD4-4EBF-BB36-82E5311FC969","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c56046bdc72732e22aa9317e29ec26f4633807b","datavalue":{"value":{"entity-type":"item","numeric-id":1818431,"id":"Q1818431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7287beeaf8ce1e0545404f1761221c560f39796d","datavalue":{"value":{"amount":"+0.7437804937362671","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":"Q3592800$52266E90-3662-4131-96B3-C1E06CA64A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69ba4e766fb711c90ab5625dcbe04b0327c0f5c1","datavalue":{"value":{"entity-type":"item","numeric-id":1775870,"id":"Q1775870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b26eed39e4edcc3e1c93c373a34493349778c7","datavalue":{"value":{"amount":"+0.738492488861084","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":"Q3592800$E3859B33-0004-4D55-B5F5-EF106E7B6BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1bd0a2d0868bfd2af5a707399a38e75ea6851e","datavalue":{"value":{"entity-type":"item","numeric-id":3613304,"id":"Q3613304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f976a2fade5b2a7455bca358b28ea6203d9ca5","datavalue":{"value":{"amount":"+0.7096388936042786","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":"Q3592800$CCFABED3-8980-446F-AE84-36759B49F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c2af1dd00ea95c1a3c11fc158ebe079761263a","datavalue":{"value":{"entity-type":"item","numeric-id":5692441,"id":"Q5692441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89821834f2bc400e52c8cceff3c106ed7f054b4","datavalue":{"value":{"amount":"+0.707221269607544","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":"Q3592800$3A976AD3-441D-4FE1-A95B-0CE710F9ACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49cf6341a802b28ef516ec439b3ec796b96e735e","datavalue":{"value":{"entity-type":"item","numeric-id":4465165,"id":"Q4465165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20320461bdee7f12a79c86229454b8bb33d71464","datavalue":{"value":{"amount":"+0.7013917565345764","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":"Q3592800$64365A65-8177-49B7-A3BC-505C882C2D28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order anti-intuitionistic logic with apartness","badges":[]}}}}}