{"entities":{"Q3732985":{"pageid":5762891,"ns":120,"title":"Item:Q3732985","lastrevid":50864255,"modified":"2026-01-15T11:55:07Z","type":"item","id":"Q3732985","labels":{"en":{"language":"en","value":"The consistency of negation as failure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965466"}},"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":"Q3732985$0A3C591E-F343-45CB-9441-6713BF7B52D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b59971919da869dd54abb3f4cbd35ff6b7054f7","datavalue":{"value":{"text":"The consistency of negation as failure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3732985$21E07A2D-3B72-48B1-87CB-7C860D891A2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36ab7e63cbbbb8c2f7f9c0573703dde05124a501","datavalue":{"value":"0598.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$92D8E749-3C3C-423C-BC45-7057FB98C08D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfa44427f41478830d2a470f0f3fef43e7f5ecc5","datavalue":{"value":"10.1016/0743-1066(86)90017-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$1BF092F6-D032-4E17-911B-5620A63352B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"16e387b92207e927d6f498653f9e0c4262c2ad47","datavalue":{"value":{"entity-type":"item","numeric-id":3732984,"id":"Q3732984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732985$D357B77F-41E9-4097-B845-1BD265002DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3732985$0F54FB56-4313-4E8B-9945-54330C9C60B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3732985$8E58E510-AD82-4E27-B1A1-B552AE7221E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$448C842D-5661-4C02-B6C1-227043473396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$6213AC57-5C33-4665-8DB4-880C7DC99E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$8B8AB532-2648-4E89-8442-F3F5CDEF259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$31DAD8A1-FA37-47A0-B978-B74D8E9DD436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8aa04251e9ceb2171b87aa7498d4b50f15cc644","datavalue":{"value":"3965466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$4DB10697-8667-47D0-A925-3CFFD1CD411B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca128fe3b1ece2e18d8b7a40e1d02c0aab41ed5a","datavalue":{"value":"completed database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732985$6217B6A4-7957-4ADD-9F04-BA03133949AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732985$77C563CB-E93F-466A-9358-22E7EB1F757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732985$ADA04871-A807-49AC-8793-4F554BEDE010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a7a0c4c39283b2cc73f84ed28075b2bce34b7d","datavalue":{"value":"query evaluation process","type":"string"},"datatype":"string"},"type":"statement","id":"Q3732985$767DD825-F9D3-4FC3-A16A-492D20342F21","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":"Q3732985$5CCDE73D-1775-470B-B03B-F66A7122029F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b4e09dc3521662d10c66b8ccf71480ad5581483","datavalue":{"value":"https://doi.org/10.1016/0743-1066(86)90017-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3732985$37430DF2-1F07-4813-8DF5-79C4939E53A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b001fb398ffa353b021179ffddae5f4ceb19b155","datavalue":{"value":"W2064581668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3732985$515AD7BC-8DF7-4715-92E4-7E495C8EFF43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9fa3e8b68526775a90960b86843d4ea329918c","datavalue":{"value":{"entity-type":"item","numeric-id":3729995,"id":"Q3729995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e45fc5ae4f5baf0bb4c841818ab2eb856fd10143","datavalue":{"value":{"amount":"+0.7884464263916016","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":"Q3732985$FFFF14FE-520E-496B-A9CD-99885B640339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb81eef73fb07b601fbc198f85cc01348ef49b8","datavalue":{"value":{"entity-type":"item","numeric-id":4207881,"id":"Q4207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd09bf435384003173965377c83534bbc6cac8d4","datavalue":{"value":{"amount":"+0.774051308631897","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":"Q3732985$1C49BA3F-C7D3-47BF-B935-C06CB3A1AC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8d845ffd3afc75d28008e681b45bb8943c9118","datavalue":{"value":{"entity-type":"item","numeric-id":3740275,"id":"Q3740275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e8b8d87953ba6816c549ab2480441117b546cc","datavalue":{"value":{"amount":"+0.759271502494812","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":"Q3732985$331307A9-4C0F-4C75-A7C8-50BD1A6B9AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3d2200db2702f9198942578d60e27e414b35ef","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92aa93a0dd7d288cee9585e0db647851af4fd3d","datavalue":{"value":{"amount":"+0.7584365606307983","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":"Q3732985$205DA3D2-BCBF-490C-9F90-396152B2E656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ee7d20da62a865c9919193fa2233ab18f335dc","datavalue":{"value":{"amount":"+0.7509639859199524","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":"Q3732985$A755D273-B888-4EC1-ACBD-57BA16FC9B9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3732985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3732985"}}}}}