{"entities":{"Q5890544":{"pageid":7926339,"ns":120,"title":"Item:Q5890544","lastrevid":52490666,"modified":"2026-01-22T19:22:31Z","type":"item","id":"Q5890544","labels":{"en":{"language":"en","value":"Guarded negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560190"}},"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":"Q5890544$D3B7D002-2FF0-4B8F-A54D-040994D295E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7e3786ca1e1df15b2bb8f04f0fff00096e7907c","datavalue":{"value":"1333.68133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$71C511B3-5980-4DFD-979D-EE8DC3AD9E5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50375f4473b9ceacefcad9e8615298e57f11d1ec","datavalue":{"value":"10.1145/2701414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$45054A46-E41D-4741-9E93-7D1CDB6FA70E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74667561feb4b78c28b4baa6c38c20977b8ad8d8","datavalue":{"value":{"entity-type":"item","numeric-id":436330,"id":"Q436330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$5DE2E23E-19ED-4E65-93AB-2F9EA49E6D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$5CB1E244-A722-49B1-ADB3-BD02EDCE05FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$0E092C44-EE1E-4A1A-9EFE-321BA2EF2445","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$C556D758-2E0C-4DEE-BA4B-F65A123F8A20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279e3cdb8d560cb3628b9bb7f7eae66cb68b9ce0","datavalue":{"value":{"time":"+2016-03-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":"Q5890544$829FD2D3-44AD-4939-A031-2DB62D2A8F23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$93674800-41FD-4620-8B53-AED0DC7B88D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$EF103A1D-36AE-4D1A-ABD9-19064EE1D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$9004A2AF-FF48-4C70-A30C-A46B4E9A5365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$6BC90FB0-1E62-4D4E-8046-B125BB36A688","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"943b804a2d592365ada855192e8033b3cbd6bc4b","datavalue":{"value":"6560190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$9EE434D6-6D57-480A-AD27-9F9AAB1BE3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890544$5085ACDC-D144-4718-B0B8-CCE9E625E45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890544$01530BBF-AF5C-4694-875E-8D9B8E09EA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890544$C41A4157-55E6-4162-A92D-A4E5745F923C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46cacea7dcf4d7bc803743d9b6041adf255334bb","datavalue":{"value":"guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890544$5AF8EDEC-56BA-4ECD-82FF-5BDD6B5D6B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890544$8468F302-B6AE-4F85-B255-343287AF6A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890544$61F362C3-3C0B-4860-AEC6-DA703FD301F7","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":"Q5890544$B8C95376-BC0E-4DC2-91AF-9E303EE08850","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0356ee10d6c41b46b8e98a18f4dd83ef4d1ac47","datavalue":{"value":"https://doi.org/10.1145/2701414","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890544$EF2A1A68-1A14-4CD6-840A-6D1409538F6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3c38592fa268d9015115a6d256292546dd913e0","datavalue":{"value":"W2341631904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890544$E05E59AC-6829-43BD-83F0-EB68EBBA11F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$6A174445-DC6B-47CD-80F3-EA525E0271B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f4071c315c26cdaac6e2b00a355e96f697854a","datavalue":{"value":{"entity-type":"item","numeric-id":2849901,"id":"Q2849901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$62122D99-5D48-42F1-AD77-AC7A80C2A03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473b546e92fe8e277fedf86f0cc97a9c986d110a","datavalue":{"value":{"entity-type":"item","numeric-id":436331,"id":"Q436331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$E0BD3357-6EA0-48ED-8343-1D610A1879B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dfd99f7406911f4e1a2982cc954412d01cd0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5417742,"id":"Q5417742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$E3729C50-CD1C-44F0-ABDF-934FCC65459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4027496a513f122a85af7e8379236fea4bfd7b","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$C736DEBF-7417-4DDB-8E6F-F3276AA74AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f68c939f1a1db0979971709fe832098e27ce34","datavalue":{"value":{"entity-type":"item","numeric-id":2996154,"id":"Q2996154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$6C7C7FAF-E001-4E24-9776-142D8A3469AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77543f16d379fc05b25409374f5c28a9be958a6","datavalue":{"value":{"entity-type":"item","numeric-id":1874281,"id":"Q1874281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$2428AEF2-9907-4C77-AA51-AF318C786313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311eb0f6758b505863158aef2e213a62e05ad36","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$6086847F-912A-428C-A342-E74776D6E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7efda439dae268c74b6da2abadadc010f670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$619195CE-82A8-4880-A08D-4B1188F12A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba90289a7cdb139bc7068a2d498d8c18dae2d63","datavalue":{"value":{"entity-type":"item","numeric-id":1401945,"id":"Q1401945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$59C18043-7492-48B5-9F59-4EBE0018D1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$09D6343B-4795-4175-A8A4-39349B5A4F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537b1eb19c2464dfb29e2d994234bbd08e6641b4","datavalue":{"value":{"entity-type":"item","numeric-id":4790403,"id":"Q4790403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$351D24CC-5B1C-4BCE-B1A7-0E80717FECA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceee423f2871a02f0107d5afca7ea76f0467e56a","datavalue":{"value":{"entity-type":"item","numeric-id":1306795,"id":"Q1306795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$D16F7ADE-0AD9-46B1-A57C-D0954D8AC2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$2330F634-1FA8-443E-BC28-149D2F29198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb39a3356b04054be7de64624339a320ae934335","datavalue":{"value":{"entity-type":"item","numeric-id":1604793,"id":"Q1604793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$8DB1534B-2232-4930-906F-BD42A588875A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8bda967b11722c5ac2b19ede6e38d6de3d55c","datavalue":{"value":{"entity-type":"item","numeric-id":4250364,"id":"Q4250364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$CE859286-7A0A-4BF5-97BF-EE655B084481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$714492D1-D15B-428B-A592-22AB232B4DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8a25b8d6d0cc799530bb65e240edadb10ab7c","datavalue":{"value":{"entity-type":"item","numeric-id":1886323,"id":"Q1886323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$1D833C29-3669-40DF-AA36-BD97C6E5D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c2815fc12eef5c19be7ab4198e0aab34c33e4d","datavalue":{"value":{"entity-type":"item","numeric-id":490672,"id":"Q490672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$FB53DBED-EBAD-4599-B8FE-E5C218CBCEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6be2bed4a9592ec6a2729b97e265dcf368f6612","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890544$A982B7C0-4503-42EF-BA18-D1D0CCAB5761","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d64ab5d17d836cf78e6d8a6639100bb853436854","datavalue":{"value":{"text":"Guarded negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890544$9BEAAE95-E2D7-4B19-BD2D-A0C6E00160EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd1c0f25dd0342adf67d97d4fd01ece315ad29","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3e5cfcfaec7d82f7105bf0827be2b9876c7515c","datavalue":{"value":{"amount":"+0.9894037246704102","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":"Q5890544$765354A0-72F6-4A81-8E08-4ECB33169A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7bb19972e15a7516bb4865049ceb970044ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4647097,"id":"Q4647097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb52b10b07fc9e15de854201cbccc5755dccc27","datavalue":{"value":{"amount":"+0.8669359683990479","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":"Q5890544$80C9E205-F8EA-430C-B7CF-F121957DF05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3701d79943fc0924f0b20184354686f01463779","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448f8bfa50c1b069714d67555525853f92894c14","datavalue":{"value":{"amount":"+0.8419830203056335","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":"Q5890544$A2F00E73-A8AA-46A4-B298-E9935B84892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb39063ece4676791c62b9491fa7869a2ac4869","datavalue":{"value":{"entity-type":"item","numeric-id":4635812,"id":"Q4635812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86272f6dad4b67ceee0e0e729426dd61f274ff0e","datavalue":{"value":{"amount":"+0.822910726070404","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":"Q5890544$10ED4ECF-D448-42AA-BC55-392DB27B70A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38908310ed9c4c5f698846dd6ec487cc46c6a70d","datavalue":{"value":{"entity-type":"item","numeric-id":4635946,"id":"Q4635946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b326c336f8eda2f5f8cf83d633c4f6e9122693f","datavalue":{"value":{"amount":"+0.8173863887786865","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":"Q5890544$8FD0B9DB-619B-4A88-95FC-CE34FC4EBD42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5890544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5890544"}}}}}