{"entities":{"Q3745320":{"pageid":5775226,"ns":120,"title":"Item:Q3745320","lastrevid":50980970,"modified":"2026-01-16T01:49:27Z","type":"item","id":"Q3745320","labels":{"en":{"language":"en","value":"Negation as inconsistency. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980531"}},"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":"Q3745320$862D5D28-D5E7-49B0-A2CA-B7946E3D8174","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b7e200989dfc2ead5bebe839ea4c52e6a069de5","datavalue":{"value":{"text":"Negation as inconsistency. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3745320$69C4FE19-3E6D-48F0-B351-29BEA49D4D75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfe0eb87ccc1e54a60d8502e45114628761a44f2","datavalue":{"value":"0606.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$96FAFFFD-41D1-4387-A7B5-848381587EB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a22c056ae0316df058d9f0b9a45bc549cbf9ec3","datavalue":{"value":"10.1016/0743-1066(86)90002-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$DB77622A-9AF0-4BCE-A5AF-623B025758AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"626510a6fb17c2c7bf1f559bde41bd573701b4d9","datavalue":{"value":{"entity-type":"item","numeric-id":514238,"id":"Q514238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745320$F051F162-B35D-4F22-926E-103E5B3825C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745320$08CBE0C8-EC9A-4A3F-A6DF-5E86796B4788","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":"Q3745320$F9B426D9-3B4A-4A1E-8564-A514F9C35403","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":"Q3745320$743C1F8B-83E3-44B0-9AEE-9FFDBCDB8B01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$AFDCB597-5F9C-46B2-AD0A-B96A31E51CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$51EB0004-738B-418E-B769-4DB740DC3DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$00A70A01-4610-44F5-8B22-02E44A406775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$9C80EE03-A6D9-4B6B-A84A-DE848997A9E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e241d46ca8e64bb3883923d878e901fc64d8ecc3","datavalue":{"value":"3980531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$BCC9A623-81A2-4AC1-A1D0-81ED787D02E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745320$87F5E5D2-25F0-43B2-9336-2F3F8D9604AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf4b0742fac6e53b849d2b971c200bf8a8b58826","datavalue":{"value":"Horn clause programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745320$323DD82E-5507-4945-AF67-F125C74812D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745320$674B90BC-2A3E-439D-B9EF-C786C8394F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c97395c8949cbd658d885a73e180d4c147c2df19","datavalue":{"value":"minimal predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745320$75D23411-64A0-4DFF-8C0F-8E91540F9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fa9afd5c5de222183199e14c1dfc0801045f22","datavalue":{"value":"N-PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745320$20E5CF95-B9CD-407E-BFFD-C1F94CC5B968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ace04faa3da52f28bc1a35b41f4aad7a7591312","datavalue":{"value":"positive predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745320$88B32A17-0872-412B-86FC-43B8F260398D","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":"Q3745320$FC06A958-0F42-423A-8C73-B826D64D2783","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d32589ddb9287c548a0b6366aa028cedd85fc1d7","datavalue":{"value":"https://doi.org/10.1016/0743-1066(86)90002-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3745320$F4735DD3-08A2-4D38-B683-3AA2E4F13334","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf771228aca306d586c4ed8bac3ec3f8307125c2","datavalue":{"value":"W4212824748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745320$80E7E468-EA8E-423D-897E-4E965A887105","rank":"normal"}],"P1643":[{"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":"d6982a4282666708a31db63ab8e3f06755766a47","datavalue":{"value":{"amount":"+0.8601100444793701","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":"Q3745320$E9A9DA6C-D1D9-4379-995C-C93E37CA5D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c12b0c85a4e6ca2354e77cd712cf352d4b3b8116","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6982a4282666708a31db63ab8e3f06755766a47","datavalue":{"value":{"amount":"+0.8601100444793701","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":"Q3745320$ACBEF4B2-7314-4E80-A157-BC435FBB9855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895d5fb7f9cce9deadb2205ea78218d84f034b04","datavalue":{"value":{"entity-type":"item","numeric-id":3471707,"id":"Q3471707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3030e2e696a1312e5bdc4b1983d9e1e26ad36b","datavalue":{"value":{"amount":"+0.858841598033905","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":"Q3745320$F76C7989-AA3B-431C-A77E-FE5C6221166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16750a60005f66b72facd0a108c6cf5f8e0e56d0","datavalue":{"value":{"entity-type":"item","numeric-id":3793768,"id":"Q3793768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab923f9512e1e5d3c58578b648829d251ea7a0d9","datavalue":{"value":{"amount":"+0.8557658195495605","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":"Q3745320$EDFB4169-FBD2-4489-BA48-B5AF4491A545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b561807461250ff155e0da2d3975489e76786af","datavalue":{"value":{"entity-type":"item","numeric-id":3727349,"id":"Q3727349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f596c83e93918fc1c5e5d19733a94050449d34","datavalue":{"value":{"amount":"+0.8553351163864136","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":"Q3745320$D61B700D-4B50-4412-923D-BC2BD9DAB796","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745320"}}}}}