{"entities":{"Q4880541":{"pageid":6910120,"ns":120,"title":"Item:Q4880541","lastrevid":46381395,"modified":"2025-12-24T16:27:03Z","type":"item","id":"Q4880541","labels":{"en":{"language":"en","value":"A proof theoretical approach to default reasoning I: tableaux for default logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 885365"}},"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":"Q4880541$96D3E224-6BBF-42F5-8DD3-53D744D70E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b69ede61dee21b96eb658e7889b2931857871e0a","datavalue":{"value":{"text":"A proof theoretical approach to default reasoning I: tableaux for default logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4880541$96EF2BED-1A38-4ADD-BACF-9359E5B0C93D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c32559f2e4035584ece5da900df16d54a97bdac","datavalue":{"value":"0859.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$7EA6FB5A-D4E7-4D03-9760-5AB0A9E1D05A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00588ce3a80103221fc8a035c641becf9df18016","datavalue":{"value":{"entity-type":"item","numeric-id":1317898,"id":"Q1317898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880541$7D221DDD-8F8F-454E-9AAE-F7604AAE78E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a1ce5ccb10f813c3a09cf8da9077a5eba6e96","datavalue":{"value":{"entity-type":"item","numeric-id":274411,"id":"Q274411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880541$6A3B293A-6CBB-42B2-9304-05BAEC413BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8504b40275d8e352084b681316fb158033c64656","datavalue":{"value":{"entity-type":"item","numeric-id":543603,"id":"Q543603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880541$E37AFD86-D15F-4671-B349-985A2564607F","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":"Q4880541$311E4243-6392-4FDA-BDE1-40A2DD2591AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"987a2f2e82526aa2085dc97bf2e88574c6b234f8","datavalue":{"value":{"time":"+1997-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4880541$BEFCD177-F90C-4FCA-BB1B-69DFC3B63BDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"562646c5a67917bec6fc9d965b677773fb9b630f","datavalue":{"value":"https://semanticscholar.org/paper/1bfa635615dfbdc9afbf44abae6353c3b846ae22","type":"string"},"datatype":"url"},"type":"statement","id":"Q4880541$56D531E7-E480-4FC0-ACF6-1EB6691C947D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$8B804C2D-B8B2-4A73-ABEA-9DE81D1988AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$C4D23B1E-0235-44EC-9416-E018C72C06C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$523CB023-862C-47E1-97CB-96BEB1930F8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"263a51e5b68ce2927aeee911d21f8e1790ae8e3f","datavalue":{"value":"885365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$5E0AD0C6-D424-4645-855E-42AF673EB9B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880541$D64FAB5F-151E-4640-8502-AF2F5E74E48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d126367ec033dbcb543a0d81d4b6faab0105788e","datavalue":{"value":"default logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880541$AEBAAE00-69C7-49BB-8416-D4A27DEF6059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"376c56f977426a2fea6dd4e88f8999eba7b10b04","datavalue":{"value":"absence of contrary information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880541$6BE19664-8B20-4B7A-ADBE-A68525524CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08adad6cd898e7c7d897e7197186a448e1e0c067","datavalue":{"value":"semantic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4880541$DD1A7AE2-E6D1-4ED2-A4DC-B1D1F3F72233","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":"Q4880541$427E6832-2F93-4ED8-9FAA-BD09D92B2508","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2333c6c88ce6856ac09a3780a1957ab5af18fd61","datavalue":{"value":"W2016171120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$FB164E2F-66FB-4CA2-ACCE-E077C6E36B14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3307bf5e32cea2187b8e085d2d9ba576da0044a","datavalue":{"value":"10.1093/LOGCOM/6.2.205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4880541$D8837C17-B32D-49D2-BF88-E4FB0FE64ABF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4880541$DFCBC1F5-D56A-4A41-AE83-4BFEBFC2BE3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c678a340076a20c20264b1c215d1ed697b1a5ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3455758,"id":"Q3455758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b541ee9df816d7e85d287807d1f1e480c3353b","datavalue":{"value":{"amount":"+0.8821250796318054","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":"Q4880541$8230A9BB-9245-49F2-9226-D04FE5B91986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48304f271296f21f2630eb4a4ea6fe0b76bb92cc","datavalue":{"value":{"entity-type":"item","numeric-id":4868235,"id":"Q4868235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d020002631584483b389a653bf9952343c8ad795","datavalue":{"value":{"amount":"+0.8695812225341797","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":"Q4880541$655A570E-8C89-4C02-B8C6-2A59E404F18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12075d2f8610df21e57284d588cac5db7fcb8fca","datavalue":{"value":{"entity-type":"item","numeric-id":2305412,"id":"Q2305412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ab6deb6275dbedb67efbd2f5d7e684687231a4","datavalue":{"value":{"amount":"+0.8686020374298096","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":"Q4880541$290EA1AE-A26D-4265-B293-5F7E1820C18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c16c3321b34337bdae801cc87765e8b09bcb10","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18398715c1c7afa41ab25586e372290a3ad52dfb","datavalue":{"value":{"amount":"+0.8663972020149231","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":"Q4880541$8F78BBEC-F909-4998-BE64-78504195D0C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4880541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4880541"}}}}}