{"entities":{"Q1333157":{"pageid":1343896,"ns":120,"title":"Item:Q1333157","lastrevid":67472250,"modified":"2026-04-12T18:12:34Z","type":"item","id":"Q1333157","labels":{"en":{"language":"en","value":"Regular path expressions in feature logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638313"}},"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":"Q1333157$14EB5C97-9EA6-4785-AD64-721E3A2A7547","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5fd22778813d2e6f3635ce9d53757984955dc53","datavalue":{"value":{"text":"Regular path expressions in feature logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333157$EEC9C316-DFAA-4EDE-886A-D3393BA2EA54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fbd6578c623f207df5372e4ed6cf743f7b22ab3","datavalue":{"value":"0813.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$9E2DD6CD-A2A3-451D-8694-CDF5FEA4B64D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3196615387f02491910a34fd02a6ad8a66404878","datavalue":{"value":{"entity-type":"item","numeric-id":202522,"id":"Q202522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333157$7791776A-462E-4BAB-8C75-CEA34C93C552","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333157$364ED442-E065-4EAA-B3E0-AC06123FC5EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a511c8ef0b44d10360e4b2f51c22be5a4c1a9ced","datavalue":{"value":{"time":"+1994-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333157$6D7D7C6D-1FAB-4408-9A64-1A0494861364","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db5bd02cbc7a6c9a5e6dea61c1f9f4b4bae549ef","datavalue":{"value":"https://semanticscholar.org/paper/4580a35cbebd5aaf8579c4f25854143e35ee45ee","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333157$4C92077F-6FBA-477F-AE7D-9FB5B4396651","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"50e7e8fea9a1e7c7d38149dc3145bf5c1c86b69f","datavalue":{"value":"The present paper is devoted to the investigation of the existential fragment of a feature logic, which is extended by regular path expressions. The language of this feature logic is based on a signature \\(\\sigma\\) containing a set \\(S\\) of unitary predicate symbols \\(A, B, \\dots,\\) and a set \\(F\\) of binary functional relational symbols, called features. There are two kinds of variables: first order variables \\(x, y, \\dots,\\) and path variables \\(p\\), \\(q\\), \\(r\\), varying over the set \\(F^ +\\) of nonempty strings over \\(F\\). Atomic formulas have the form \\(A(x)\\), \\(x = y\\), \\(xf_ 1 \\dots f_ ny\\), \\(t \\in L\\), \\(\\div(u,v)\\), \\(u<v\\), \\(p = q\\), \\(t\\), \\(u\\), \\(v\\) are strings of path variables. \\(L\\) is a regular expression denoting a regular sublanguage of \\(F^ +\\). A clause \\(C\\) is a conjunction of atomic formulas. In the paper is proved that the set \\(\\text{Sat}(\\sigma)\\) of all satisfiable clauses is decidable. This is shown by transforming a clause \\(C\\) into a finite set \\(\\text{Solv}(C)\\) of so called solved clauses interpreted as a disjunction. Then it is proved that \\(C\\) is satisfiable if and only if \\(\\text{Solv}(C)\\) is not empty. This interesting result is an extension of a result by Kaplan/Maxwell who proved the decidability of the pure existencial fragment, provided that a certain acyclicity condition is met.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333157$D75A9AA3-A17E-4100-9A25-C784DAACB81A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d4140b9edf009e8313c4518427a6256184f5df8","datavalue":{"value":{"entity-type":"item","numeric-id":1277801,"id":"Q1277801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333157$411CDDFB-1DFB-4769-9786-F03E6D4A7208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$C3284B91-7B07-48EA-A42B-57A16DB09017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$1FF9BF44-7C53-458A-BC5C-01AB9CEB9698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$E692C6A4-57EC-48B3-B7FB-676FC2319AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$B3DE8A6B-C08E-4861-B3FC-A7E2A26DDDDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3dd7dd7664b3510cd18e5ddc66a0652724f2b85","datavalue":{"value":"638313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$F7CCF9A5-0F27-4055-B3B4-585AB733FB5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333157$241FBAB6-8C7E-4AFD-BEF9-4EB51FBD6F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b4bffd722e939c8071c78670473df621ad7b9e2","datavalue":{"value":"feature descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333157$422C5CDF-3CA3-4A5C-9FDC-4552E65C121C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333157$483820EA-BAC3-49DB-B59F-7EAE6CF58BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c9033b9a3a9d309e7488dcad3c0f221b298f7aa","datavalue":{"value":"feature logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333157$16519F84-309E-468C-BAC0-FE904B7CC40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93358a4588e9eb8de0360f7dc9dc814c25f381e8","datavalue":{"value":"acyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333157$1961FB99-A27E-4944-8A95-075FE1ACFE06","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":"Q1333157$7D045FC8-151A-4F90-A4FA-3DC11A198177","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82a72d41d8d09a73ede2b35808c3eae44c53000d","datavalue":{"value":"W2043577042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$3A9DC4F4-0E6A-4772-A06D-E248C6FC5F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1d251e45641e0d83c7315a83c0c5a1abd178388","datavalue":{"value":"10.1006/JSCO.1994.1028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333157$7EABEF89-CB16-4655-BCB7-2F0CC39174D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8f81cbbb02af910af080da661d5fa0d6f31d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5055790,"id":"Q5055790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b44f963facd11b45057f0aa76d36da7656bda01","datavalue":{"value":{"amount":"+0.9376344680786132","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":"Q1333157$C21FD099-8BED-46B1-883C-9BF7164EDDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289978c1c236e928ff4b1e3547b0103b1570fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4013802,"id":"Q4013802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60aecbc275f9d394c1e513618580d06e95a9c72d","datavalue":{"value":{"amount":"+0.7629218101501465","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":"Q1333157$97510AAA-E20F-4B79-B652-AA3F0EB7E5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c47700f11dc3a54c73691d06d78d61e9f5409cf","datavalue":{"value":{"entity-type":"item","numeric-id":1314281,"id":"Q1314281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ff4658e3ff6fc9812dc6c784d3f63766f453b1","datavalue":{"value":{"amount":"+0.7485084533691406","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":"Q1333157$F7F6246D-7AEB-4495-874E-47678CEC9233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a161531d3dc3afe607646319606c354480eecc","datavalue":{"value":{"entity-type":"item","numeric-id":3992236,"id":"Q3992236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"835b4b2bb227a06d125f2848c9900b8d42c5c298","datavalue":{"value":{"amount":"+0.7316129803657532","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":"Q1333157$349EE157-8E4F-4977-9791-20D51B0C90A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular path expressions in feature logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_path_expressions_in_feature_logic"}}}}}