{"entities":{"Q1678418":{"pageid":1689159,"ns":120,"title":"Item:Q1678418","lastrevid":52959362,"modified":"2026-01-23T22:05:39Z","type":"item","id":"Q1678418","labels":{"en":{"language":"en","value":"System \\(\\text{Z}^{\\text{FO}}\\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808364"}},"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":"Q1678418$763F3604-0C12-4098-93F1-34788C1FF2E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6077d74091577f0579e8f1df94e5a02c395cc1e4","datavalue":{"value":{"text":"System \\(\\text{Z}^{\\text{FO}}\\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1678418$06063092-EDA0-41A1-A7C5-862C56A6915A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfa5c20b663d8b34e092f7777ee431c644939d92","datavalue":{"value":"1419.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$5DE826EA-63C7-4413-B608-66A84E3D57BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1e134f54b434e40b1183bdd73e513d092e96978","datavalue":{"value":{"entity-type":"item","numeric-id":513342,"id":"Q513342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$ABB44B45-9185-4DAC-A5A7-FFB8BEFC442E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"557e839540439d155e683f38c7355045a1f6f4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1678417,"id":"Q1678417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$89A5F3A4-8F32-47FE-8FF3-FC8D5BA259EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f25c7013dc3045e9d5620b41b45f4276c6c526a","datavalue":{"value":{"entity-type":"item","numeric-id":1647471,"id":"Q1647471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$3B06999E-8DF1-4221-977D-3F1D82A715A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91aa34df3677c28e61d4b12884763794b2394a45","datavalue":{"value":{"entity-type":"item","numeric-id":196896,"id":"Q196896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$953A3C2E-E10A-4C08-B2DE-1146C68ECA2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$EB5BCC02-AF97-4DD7-AE54-44BAB219EB02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-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":"Q1678418$91B0F562-ABE3-4828-85A5-2358EA6E4A57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$0562F67F-1F4D-4BC8-B3BB-52C1AB28F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$890326CD-27F8-4BC2-BE03-19F027FF3627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$23458846-C15C-4FB2-882E-0310370FEA02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17076234fbddd555724af5b9a9c5ec1b8742cadd","datavalue":{"value":"6808364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$8932F12E-8733-40FD-BAAA-59DA47C28F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc44be0a596d653acc9d6614c1a30361b98d39e","datavalue":{"value":"conditional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678418$3029521C-FFBB-46ED-B4D9-3C9EA710E4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678418$45CEFB4D-D6E6-4EB8-8712-4B004E06A980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d72d4b280425c904f9e4dda789ed703533772a11","datavalue":{"value":"nonmonotonic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678418$345100E7-31AB-406F-B009-4016A67A4158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8432e6f8b9c1309aa387fb4e9c5e8b93650a1074","datavalue":{"value":"ranking function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678418$E5BCE03E-0A67-4BC1-9215-295BEDE5FA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69704d3d46a2fd94c69105c5c3e69f1d23170fce","datavalue":{"value":"system Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678418$E6710ECE-080B-4F4A-833E-C3C1681A3514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44736f80fe9643b981904ee166401b463776771b","datavalue":{"value":"tolerance pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1678418$BC4FF349-861F-4910-9A75-3C3299ABD997","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":"Q1678418$314664EB-EA24-40B9-9A0B-F513A4F2C1CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47d52f09d2899852efb1355a0f08a9050a8b0386","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2017.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1678418$0C698BF2-F99C-44E0-BFB1-1483B03C34A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e21cf22a4b42b33c4fd6e8bcd6750b8002884af","datavalue":{"value":"W2734996385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$737AE93B-F8B8-4A1F-A731-223F033941D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c66413207853f9d30811252e18e0aab59b8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2171264,"id":"Q2171264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$8CFDAFC6-3EA7-445E-B34B-CFBD4C54977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed723014e8c51f37979fea9b58827f7d8aa11618","datavalue":{"value":{"entity-type":"item","numeric-id":2768759,"id":"Q2768759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$7101BFE1-B45D-4222-8607-8646CEEC1B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6f72051b6ae2e63e08512c2f1ce12bb340cb7f","datavalue":{"value":{"entity-type":"item","numeric-id":4943503,"id":"Q4943503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$34389B33-505C-49EA-9D32-034BBD6BB1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b0cfc26deac67c4a1acfe0e87747af214dc61d","datavalue":{"value":{"entity-type":"item","numeric-id":5599801,"id":"Q5599801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$F10F65AD-D883-469F-9C7C-9DC5B08B5199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af24ba990df98829b6c3a0b381726a909a7b799e","datavalue":{"value":{"entity-type":"item","numeric-id":1193479,"id":"Q1193479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$401A201F-CF71-4FB5-AFB5-57ECD9D32498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa56a231465b25af7e3f3ac2b6fe09817870f2d","datavalue":{"value":{"entity-type":"item","numeric-id":1427352,"id":"Q1427352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$4C051EA0-E280-446D-AC72-DFEBAB0DD554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$604AAF8D-7198-4756-B77C-AB4B04A7529A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef10639af25eb30763df7a25a67b7e8327f9e1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1274556,"id":"Q1274556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$EC787C3C-A9B7-466A-9019-01B200A6D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bca14dfd6f93bae7b7c1ad5f384388251963f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":3112648,"id":"Q3112648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$557834FE-6258-4C68-8067-B0C8D1F8AC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7867f1c90a5c45d891c46d8dbd5bcd34c8c3b149","datavalue":{"value":{"entity-type":"item","numeric-id":360113,"id":"Q360113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$65E10AAB-DF20-465A-98F1-5902C4E340C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f79861c9f1444d5eb7c24b5787dbf55ca64b18","datavalue":{"value":{"entity-type":"item","numeric-id":3457250,"id":"Q3457250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$91939264-9FEB-4166-8A39-4531716ACE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b607439bd49e4fc2a082a1c7bb43dca878a78a","datavalue":{"value":{"entity-type":"item","numeric-id":1424928,"id":"Q1424928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$E98E8252-E702-4D1F-9C1B-0A934617EBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf2d04d9aaf1df357a9a29a95a8de2f1436efe4","datavalue":{"value":{"entity-type":"item","numeric-id":742546,"id":"Q742546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$0413DD73-9A74-496C-9AD2-91A9CE588EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0b6279069cbb32655094f0652d69aeb8f868a4","datavalue":{"value":{"entity-type":"item","numeric-id":2807072,"id":"Q2807072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$0AF7E00D-3E7B-4126-BEB9-F1E95446F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bdd85ab0b376e24a423126046f26e3913cb6e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4576240,"id":"Q4576240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$54B1798F-4D36-4D7C-9057-B9349D93C3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed97d91dea85872abf351c6cd034ae20532c858","datavalue":{"value":{"entity-type":"item","numeric-id":5172608,"id":"Q5172608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$A828CC30-C42C-4FE8-8363-B06960C5C2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd65dcc2f2789d017c7392c53b3e11ee3c4fa3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1104777,"id":"Q1104777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$7A9FB15B-4C13-4040-AB84-9462562C7790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc4db50260c4eeaef046e54428421e6ee70389c","datavalue":{"value":{"entity-type":"item","numeric-id":3829532,"id":"Q3829532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$DE55BBB3-0F26-4E8E-9E74-898A62612FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$D0BB25E3-2A00-42D0-BA28-F4CE4898A6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9499849e8ef30dd0b0d58029c01033b48cabbd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5900028,"id":"Q5900028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1678418$CF3C2582-502E-47B4-963E-CF0B5415F5FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78e6c45aef991a7afb67834912162bd96df45c1e","datavalue":{"value":"10.1016/J.IJAR.2017.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1678418$5A4EFE8C-EA97-4665-9B08-34D8889C0F45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e673ed6664c9496c00db23bd1a1def7c7d31d1","datavalue":{"value":{"entity-type":"item","numeric-id":5172608,"id":"Q5172608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19171fc63568c8dcb1cf628e895f2f2c13f2de64","datavalue":{"value":{"amount":"+0.9340843558311462","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":"Q1678418$980526FE-D0C4-4717-98CD-04F9D70DD60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0b31ebd78b0c94154ee6101af7aaa46fef5faf","datavalue":{"value":{"entity-type":"item","numeric-id":3457250,"id":"Q3457250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f432db724f3bf20b560c9a430bb2532575c4be","datavalue":{"value":{"amount":"+0.8089861869812012","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":"Q1678418$01F2F55F-78C3-4913-BA68-9ABDE052E6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ca9ad8745b6a87d09040f48a897a42e8d0b1d33","datavalue":{"value":{"entity-type":"item","numeric-id":5738905,"id":"Q5738905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4efee767f81ece41ebdeeec167861082ae18e7","datavalue":{"value":{"amount":"+0.7890772819519043","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":"Q1678418$0D0CF457-F168-4ACF-A3E0-779A07364B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e3060cc7a8d23ef0214c81bf9a082d286eccb8","datavalue":{"value":{"entity-type":"item","numeric-id":1427352,"id":"Q1427352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f52eddd3893756fd31bba576a26b05677e4804ea","datavalue":{"value":{"amount":"+0.7688670754432678","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":"Q1678418$165BC570-6A00-4490-885D-C9B54D768B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f29b316c7801dff4bc20e37171fcfea3bc5fb0","datavalue":{"value":{"entity-type":"item","numeric-id":742546,"id":"Q742546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8844e25ad77da661d01f1b23c9b4583171cf53ed","datavalue":{"value":{"amount":"+0.7647807002067566","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":"Q1678418$5037A0F3-6958-4EAB-90D4-64AB4C246720","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1678418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1678418"}}}}}