{"entities":{"Q5422272":{"pageid":7451846,"ns":120,"title":"Item:Q5422272","lastrevid":100933814,"modified":"2026-06-05T23:29:06Z","type":"item","id":"Q5422272","labels":{"en":{"language":"en","value":"Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201479"}},"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":"Q5422272$B66E77D7-A082-42DF-B210-44E052627789","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7906a7dd802551d53a06dc298f6d62a9bfb7856d","datavalue":{"value":"1123.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422272$6983298A-C6AA-4998-B720-5EF251E33DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2039c50f4bf7e2e0e187db2c049c2d046081e96","datavalue":{"value":{"entity-type":"item","numeric-id":313141,"id":"Q313141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422272$23C02717-6F0C-4095-90FE-281BB53C4BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80b140b224e771dcc4dfcbebd6e6f91f547ab29f","datavalue":{"value":{"entity-type":"item","numeric-id":2946702,"id":"Q2946702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422272$496BE711-C20F-46F4-8FAA-8B5870545BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8867479da5fd6ab21e678bb716183ac3bcba2e8c","datavalue":{"value":{"entity-type":"item","numeric-id":3498481,"id":"Q3498481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422272$CE220EFF-22F4-48CF-9BE0-02A3D3517A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422272$C0CD5011-CAF0-4845-A12D-4557968001BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422272$95580671-A061-4025-99D3-B985C5277E9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422272$234378DA-9CB9-4C43-A61A-AA242363387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422272$D7E3E034-863C-4730-A9F0-E9EB15010360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f258e0fa59f0558a6ebd5c13a634069e18da58ca","datavalue":{"value":"5201479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422272$6EC43E56-DE1F-4699-8F6A-07B00A283A81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a252a598e69a70c6c8d06fe5a30954e133be4e05","datavalue":{"value":"algebraic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$D76DA0EB-8C6F-4270-B420-B21AA746AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae6b0ae2311aafde3073f5cbf95a128d5e5307fe","datavalue":{"value":"predicate introduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$ABEF691D-D165-44B9-BDD2-69D4BDDD5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$145B3D2F-7115-48BD-8795-3C454978E233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"999d35f359100f167c13eb8cfefaca94fb3bf9c2","datavalue":{"value":"nonmonotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$36497BE7-4297-4693-847C-35A8EF7A3082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$9ED3F6F7-6E85-478A-8472-10058C35D512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1199a36d8dd30e90713192bb02fdd1473fb89b19","datavalue":{"value":"fixpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$47D58839-42EE-4B5F-870E-17DA00349C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$E4F01DE8-4D32-4E8B-880E-CA870E1E7CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422272$19BDBB0F-99D2-4D66-9061-66C906113371","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":"Q5422272$A849B1F0-0C86-403B-AE2D-94A71904E2E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352f5c1602a59924ecf5631bdb1ee14c4ae7bfaf","datavalue":{"value":{"entity-type":"item","numeric-id":5422271,"id":"Q5422271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"252cf5676fd7e03e08fe7f4c2c328fa7f2048114","datavalue":{"value":{"amount":"+0.9513297080993652","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":"Q5422272$7E1641E6-802C-4BCB-9AE3-2F1C8443D408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d274a51052ea32371b928328171636460013321","datavalue":{"value":{"entity-type":"item","numeric-id":5449604,"id":"Q5449604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a8dd640c85de3fe7069f705a85abc76be39848","datavalue":{"value":{"amount":"+0.8809807300567627","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":"Q5422272$3907AAFF-8259-4BC5-A6C0-F555A7EFB735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7f22852604e0ae2d8adddd43563b80145a7ccb","datavalue":{"value":{"entity-type":"item","numeric-id":4302848,"id":"Q4302848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a8814189b82da8140b707f05ddeedde77ad2e3","datavalue":{"value":{"amount":"+0.769540011882782","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":"Q5422272$53F044D4-83C9-44D6-AD55-9B573DE08EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789623959325f74e70fb086616e176ff29dc8255","datavalue":{"value":{"entity-type":"item","numeric-id":1891263,"id":"Q1891263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5152226699c70dbe195a31cdf6ebdf3eccad43","datavalue":{"value":{"amount":"+0.768692135810852","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":"Q5422272$8D376D02-4147-43B9-BA25-063AE02D2D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81eec7d7b73f4133e9b894d6a40f3dbd8f69c65","datavalue":{"value":{"entity-type":"item","numeric-id":1272349,"id":"Q1272349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2901fd86a6a76c3e9d8a01da016caeb820cdc638","datavalue":{"value":{"amount":"+0.7584795951843262","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":"Q5422272$574DB364-345C-4BB0-97E6-C07624445672","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate introduction for logics with a fixpoint semantics. II: Autoepistemic logic","badges":[]}}}}}