{"entities":{"Q1344889":{"pageid":1355628,"ns":120,"title":"Item:Q1344889","lastrevid":70203726,"modified":"2026-04-13T13:08:47Z","type":"item","id":"Q1344889","labels":{"en":{"language":"en","value":"On the termination of clause graph resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 724147"}},"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":"Q1344889$A7E5FD4C-8937-448D-83FB-5EA2F232BFC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ba4e74f541a2cfb73e3292dde0478f7eefd8f96","datavalue":{"value":{"text":"On the termination of clause graph resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1344889$EDF52164-A92D-4CBD-812A-FC0E9AC1A52B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17f3368456e84f79175af5b4587c23dfdcb5495f","datavalue":{"value":"0819.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344889$57237FBC-D6D9-438D-BBEA-FA0226898B4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44665964439ee836001a5d543164aa78259e1c77","datavalue":{"value":"10.1007/BF00881913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344889$52A8154B-E303-41EF-8696-70F39FC90C02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$2FB2DC90-AF44-465F-A4D9-81F9FC96DDA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$C1B13C55-B493-4D86-A29D-EE1DC18020CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8682f10035297e22489d3e495aa858e74b275e9","datavalue":{"value":{"time":"+1995-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1344889$E6CB8A5A-8F47-4F56-9744-19F10A169BF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344889$A0E52D55-C0A8-4BFB-B19B-19848FD88F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38423232642a63416b2bb15d2f2716fb23076dd4","datavalue":{"value":"724147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344889$E007F4B7-F37B-4774-9D12-D04ECCDE8B95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9196fd3d79723d39bc51dfe54c17a23498b7f9e","datavalue":{"value":"extended clause graph resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344889$A31D1817-F3C9-4DC2-8334-0248BFE024F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7268c781edc35c36a8c0d5bed4c8b17f607258ab","datavalue":{"value":"Kowalski's clause graph resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1344889$72B7A4EC-E069-4827-AAFB-6E738827519B","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":"Q1344889$039ECC5A-6E9D-406D-8BF0-2B1000D1403D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89838827382acbf53ce860d7765a55008850713f","datavalue":{"value":{"entity-type":"item","numeric-id":5573405,"id":"Q5573405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$6D189C0C-BEE7-429E-91D0-B95F048B53F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818f2044ada61f8186028673bf007a526a9aea73","datavalue":{"value":{"entity-type":"item","numeric-id":4096457,"id":"Q4096457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$54302EA5-DB28-4D16-A5AA-7714F29CD1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$227DC1E7-B255-46C2-AF1D-2607184EAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"763f901a5219a4528615cebb7b528ec622e5b929","datavalue":{"value":{"entity-type":"item","numeric-id":3917511,"id":"Q3917511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$4D700DE7-F1C6-49D5-867B-CD62001C840C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82285947ecd1d65d80e17696025cdf5ddb799be6","datavalue":{"value":{"entity-type":"item","numeric-id":3922205,"id":"Q3922205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$21D980EC-AC44-4D51-A0BC-FBC8A6FBEAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$FD70864F-B670-446C-B788-97F86EFFF947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ba7b68057757d42cfdcb945f7c0c92fd593a89","datavalue":{"value":{"entity-type":"item","numeric-id":1074342,"id":"Q1074342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$64D5D94E-0A14-411D-B1F2-7A42C6B90340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088de41fe6d8646ce7f075a0c90a5bcc32089f07","datavalue":{"value":{"entity-type":"item","numeric-id":3783625,"id":"Q3783625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$1F5E90D7-3AEF-44E4-BC4C-04CEA6CA8E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c29bc017c0a7894c9833ee19ccb34973d3beb5b","datavalue":{"value":{"entity-type":"item","numeric-id":1344889,"id":"Q1344889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$5D578F5F-CF0F-476E-9324-2F72C900361F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$93277E61-5F3E-4FA8-B5E1-F83F07A6D59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45ed88c84c30a799c478233e266ce605894b324","datavalue":{"value":{"entity-type":"item","numeric-id":4133168,"id":"Q4133168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$C4050081-5022-4CEB-85DA-2C511F6399FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$CE7C8155-0BFF-47F0-A0D0-ADE72739A290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$53D6F94B-551B-4066-926E-762E3C0D1F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d8c6e78ca64cb5cd0571f9c0221eef165275e6","datavalue":{"value":{"entity-type":"item","numeric-id":5636315,"id":"Q5636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$6AACC25E-0F7D-4318-B34D-004EB1110D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c1c97371a158c18dd7d1436b5bc9c59b54d32e","datavalue":{"value":{"entity-type":"item","numeric-id":3880321,"id":"Q3880321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$6331F733-DB5B-4F27-8C09-94FD1258C64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64f2a8699e6bc210d45b27c033415295ef2b6eb1","datavalue":{"value":{"entity-type":"item","numeric-id":757093,"id":"Q757093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$AC866A6F-9514-4CE7-89A9-C1C435839918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5939193d2c734f0c40871d2dae732bc5d8448c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3673152,"id":"Q3673152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$DD4D3565-0358-4656-B1EC-10AA462433EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5bd4f24e8eb1a084ca4ac4963d45f487b7e5bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1226867,"id":"Q1226867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$6A7DC57A-D2DF-497F-9504-AF8C12433974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9037708d20591644e3272027d287da8775d9c1","datavalue":{"value":{"entity-type":"item","numeric-id":3881540,"id":"Q3881540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$F8D62374-89DD-4767-A125-006B42E193B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d63096d52c9b5137a5725b6c288ab82e785bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3965577,"id":"Q3965577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1344889$57B96482-F61E-4BCC-A2F5-28365EA82FD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d095824893782a9e956a6e9a072723f71e6918b9","datavalue":{"value":"https://doi.org/10.1007/bf00881913","type":"string"},"datatype":"url"},"type":"statement","id":"Q1344889$8F43CBA6-5935-4923-AA6C-675B6DF8DA82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"920f619a9777ebfcfbf2c9d31fcc44b25028314c","datavalue":{"value":"W1992809260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1344889$0902E4D9-C914-466F-B2D4-13296AC26E65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9d43b93216e4ad6be66e1a22c15b2d56a9d00b","datavalue":{"value":{"entity-type":"item","numeric-id":3783625,"id":"Q3783625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8124c5656cd3e7562a8cb1700ceba12f2c73a335","datavalue":{"value":{"amount":"+0.8379245400428772","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":"Q1344889$DF396AD8-AC5A-4A63-9863-5DA6C7536B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c800c934ce4f567ffd7578a4ff43e22ac0271eee","datavalue":{"value":{"entity-type":"item","numeric-id":3750139,"id":"Q3750139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f1466b21abe847ef4d3c1bb4a06793369c7f39","datavalue":{"value":{"amount":"+0.7750383615493774","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":"Q1344889$9EAB7BE3-0BE6-494D-BA84-C61D0913CCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16601032d41a7e461eba00c23a67e5347129e3cf","datavalue":{"value":{"entity-type":"item","numeric-id":861692,"id":"Q861692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3c62dffc63f15a58ba432347dc98da8c4f0f8e","datavalue":{"value":{"amount":"+0.7672930359840393","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":"Q1344889$D5A17916-1A8F-465D-8C5A-4E7F53E5EC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4973fbc94cbacb112e4fdbded73ea732fc8e486","datavalue":{"value":{"entity-type":"item","numeric-id":3753517,"id":"Q3753517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f270443eeb7c9ab43a26b189f07d101642f901","datavalue":{"value":{"amount":"+0.7560638785362244","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":"Q1344889$3AA9CCB1-70DF-45F5-9B0D-A94DD91CC62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7490cdf643a9cfff9a0339b2f7db91469392464","datavalue":{"value":{"entity-type":"item","numeric-id":1097716,"id":"Q1097716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61995040727a8e2bfc3aab1d6242454f4d2c97fa","datavalue":{"value":{"amount":"+0.7487394213676453","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":"Q1344889$C64EAC8B-5125-4938-9FCF-C9261BEBA9CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the termination of clause graph resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_termination_of_clause_graph_resolution"}}}}}