{"entities":{"Q646515":{"pageid":648364,"ns":120,"title":"Item:Q646515","lastrevid":51367367,"modified":"2026-01-17T23:09:39Z","type":"item","id":"Q646515","labels":{"en":{"language":"en","value":"On rules with existential variables: walking the decidability line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5973638"}},"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":"Q646515$09D16202-5FBE-4E17-98B9-44BA31F9C553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a991a1a73df1aa0570c12b885e143b00c4690800","datavalue":{"value":{"text":"On rules with existential variables: walking the decidability line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q646515$36034A7C-4923-4C19-987A-7399CE5F1867","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6935d4d7a42e24e8513f363170cb473eb3a58b85","datavalue":{"value":"1225.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646515$F775AF6E-B5BC-42E5-83EF-ABF73F115539","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"727f1cfd885947a196bf2920b6ddf15dddfbd864","datavalue":{"value":{"entity-type":"item","numeric-id":646511,"id":"Q646511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$6450B426-C9CA-4936-9471-CC93EF0730BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"621762d1a5e72fa1a7be768c9bbd9ec9ef1d5ba5","datavalue":{"value":{"entity-type":"item","numeric-id":646512,"id":"Q646512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$4C755CC0-58A1-4E4D-A8A1-7968EA266F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25f126aa70a52208755aefbb7f44a94eec1497bc","datavalue":{"value":{"entity-type":"item","numeric-id":646513,"id":"Q646513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$133578DE-CD34-4772-8779-14294FDAFB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e8a04972e78dea8b7013673e63535e11ef42c06","datavalue":{"value":{"entity-type":"item","numeric-id":646514,"id":"Q646514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$5D4FBB75-405C-4E89-9D35-D1996F043125","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$F055C177-0518-4FC4-B799-82325ED74E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de4d5189d735af130e8614af261551c3cb44d44","datavalue":{"value":{"time":"+2011-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":"Q646515$3657C133-D4E9-4D4B-B989-A8BE75F17E64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646515$CF65FBE4-FA3A-4200-A8F6-75EDAEEF1D4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c298be9d30010bfa48509874a72a802f93ca8a9","datavalue":{"value":"5973638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646515$3BBA4383-8458-4488-BC20-04EEE53E7392","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff2e49754c15398b2d3304df82e5eca6cee57bcd","datavalue":{"value":"rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$7C1A10C8-9E98-4298-8683-8BA6B170B5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a6bf627bded3b5811ccdd8a1e00471f58173af5","datavalue":{"value":"TGD","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$ED449993-D5D8-4F41-B689-6651AADF8053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$51CF248C-7780-44DA-97BF-C9AE158F71AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4483046a3e548ec7ee03403f325d0ac07748fd","datavalue":{"value":"forward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$3B1BCBC7-DB2F-4B38-A251-9661AA631643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e9cc3c8f7c7fb0d6ced6dba5cb06f553d37b7db","datavalue":{"value":"chase","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$AF5C8709-04C9-4DC6-AD27-4CCB8056F3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34de3c11ccf20220ba98ddf49fafd02e47d9685","datavalue":{"value":"backward chaining","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$982A858B-33E4-4F75-B04D-9BB34EA517C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b646cae5146c31bdeda5b4d3c46fe3b99832f0d8","datavalue":{"value":"rule dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q646515$9617195B-59EC-4926-9A62-4652694721AE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$6E0634D3-7E02-4EC0-B460-321BC374DE0B","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":"Q646515$1D41BC81-517B-4493-810E-B3CA1A4F8888","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a13ee6c755cd8ecc8ec235e3c41cf10a6f13134","datavalue":{"value":"https://doi.org/10.1016/j.artint.2011.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q646515$8A9C3191-834D-40A9-BCBD-5C2D2A16F4E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b04e607c4756e2121c7ef06ee276afdb3777f0a","datavalue":{"value":"W2040566369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646515$FAB84040-EB31-41FA-A228-3F16B755E50E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$139D63DE-51BC-468D-AD46-F1FC4C2DD1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e665d725c90d5e263ab31d6db65b839705c02d10","datavalue":{"value":{"entity-type":"item","numeric-id":4411130,"id":"Q4411130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$25DE578A-54A6-49CA-B636-4822D31290EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c656467d6991ae4b06e80bf4133833e31ac759","datavalue":{"value":{"entity-type":"item","numeric-id":5757441,"id":"Q5757441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$84806873-B615-43DB-A9C3-5A66825B3CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35be1e65ffd0335dfcbe3f59737c05901de565a3","datavalue":{"value":{"entity-type":"item","numeric-id":3912018,"id":"Q3912018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$AB807880-460C-4A2D-BEFD-3F52C99767F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea7a4daa17e286a135ff13bcac8c6503af0396d","datavalue":{"value":{"entity-type":"item","numeric-id":3770004,"id":"Q3770004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$A3CD2508-233B-40B2-9E4D-7E8AF25B0AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e090ea15ded718fe0410ea1e64ddce7b1f9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$3F63B0FE-9F0D-4623-9697-AD146029CFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f258ed239fe378c0bff480f42a312594ab58f0","datavalue":{"value":{"entity-type":"item","numeric-id":3740280,"id":"Q3740280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$76553F1D-75DE-4EA6-8E02-E0CA926F5564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8939c749f37826ad573162fc01707a32e3d116","datavalue":{"value":{"entity-type":"item","numeric-id":932109,"id":"Q932109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$1889F792-5D64-4267-ADD1-1FF6B705DA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1656f85b2d8d5b424021375486a53e3f121eb85e","datavalue":{"value":{"entity-type":"item","numeric-id":1403338,"id":"Q1403338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$1B148A19-7A8E-4764-9A84-5D613C471BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$A1A604F5-401C-482C-9240-B99024407BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82777f556f0befd0cbecfa8a72490d41e136b6e","datavalue":{"value":{"entity-type":"item","numeric-id":4414537,"id":"Q4414537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$055066C0-5C9B-43B0-91E1-C484216B6DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870070c0aad0451308b9020b5163ee20efe46a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4414536,"id":"Q4414536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$F23500F6-4869-42FA-ABDB-7C34249F8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db1165ce65b83c0dabf24def36bf5bc324f31","datavalue":{"value":{"entity-type":"item","numeric-id":555772,"id":"Q555772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$3461FFBE-F217-45C9-B0F4-F47DCB28CA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee887e27045cc2972dfe2a53782c3e858abdcc8","datavalue":{"value":{"entity-type":"item","numeric-id":1057666,"id":"Q1057666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$0051998E-CE82-44FC-B50F-08667BDD583F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a2231ccf7a1d99a863331c79073d7c984aa1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3321495,"id":"Q3321495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$4B008C55-0A8D-499F-9EEA-C452BB422EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2179de12e4de83eda91802d5fb72ff59cd05d9","datavalue":{"value":{"entity-type":"item","numeric-id":1071525,"id":"Q1071525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q646515$C308E4A8-155B-4DB5-A425-41BC7C48F748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2bebba853982bfca0206036cb42e48e33012b7f","datavalue":{"value":"10.1016/J.ARTINT.2011.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q646515$3043BC47-200B-4347-A592-27EC9003290B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d90a715eaaf2c342e02aabfc82931a0bda7d19","datavalue":{"value":{"entity-type":"item","numeric-id":5398317,"id":"Q5398317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590ab4f03cbf1275c4a9da609ffe174c18e884fe","datavalue":{"value":{"amount":"+0.7737773656845093","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":"Q646515$AA2A996E-142A-4B04-A9E8-5D44B38793BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a056383f734872a16009d61c09d0ee7abdd0c73d","datavalue":{"value":{"entity-type":"item","numeric-id":4957209,"id":"Q4957209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eaa40b0ffb2674c78095545518b2d3d93ab2d94","datavalue":{"value":{"amount":"+0.755746603012085","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":"Q646515$21992B30-19E3-4CDD-A49D-A84126658D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d10bb45c75beb8e91c60857b5da0ae6b01f8fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4911144,"id":"Q4911144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f5cfda19704615e20791490e46873815c9fdd2","datavalue":{"value":{"amount":"+0.7524013519287109","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":"Q646515$C34E99F6-EC27-48FD-B012-4CA3E8F77A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c8dd68848962955610ec25ca010f57e689febd","datavalue":{"value":{"entity-type":"item","numeric-id":5056424,"id":"Q5056424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806be5cc70817d2ea2cf8eaed6f172aa43cb35e3","datavalue":{"value":{"amount":"+0.7518864870071411","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":"Q646515$43599C88-5FE2-4A67-94B3-6ECDBED43B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3229982dd45342a213554412a648e17118bddc","datavalue":{"value":{"entity-type":"item","numeric-id":5222877,"id":"Q5222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93949ba06af5a5f82c50f93e33b4f97310c87094","datavalue":{"value":{"amount":"+0.7514305114746094","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":"Q646515$9EB5938E-1785-400A-9CA2-6337B7513B6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:646515","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:646515"}}}}}