{"entities":{"Q1401929":{"pageid":1412669,"ns":120,"title":"Item:Q1401929","lastrevid":48157009,"modified":"2026-01-03T19:45:35Z","type":"item","id":"Q1401929","labels":{"en":{"language":"en","value":"Extracting models from clause sets saturated under semantic refinements of the resolution rule."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967122"}},"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":"Q1401929$8ACB449A-98ED-4626-BED9-1EFD99A5F247","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"322a50612b657bda64c8f815dbb444ea69ab18d7","datavalue":{"value":{"text":"Extracting models from clause sets saturated under semantic refinements of the resolution rule.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401929$30570640-F962-4773-B100-C730C76369AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69814acb1ae203b4613fe1287cfb004841701d46","datavalue":{"value":"1054.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401929$24A4343E-1DE6-4DA8-8E30-79B3D5ADB18F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"309dca758b6465273938e9ce642207e9aaa2bc47","datavalue":{"value":"10.1016/S0890-5401(03)00016-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401929$B361C16D-A731-4426-97E6-1B4D0890D1CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$53F164D5-620B-4F8F-A46B-5660D3E78F03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$3E63176F-66FF-4AB6-9AC6-C7F2ACAD2BAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401929$A06689FF-D84A-47C6-A5B2-3FBF85333554","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401929$DE7B7477-1EF0-40D7-80B2-24887CB93A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401929$DE8EC826-283F-463F-9164-5006F4DCB7A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57ae58ad359a4883977b4eb635782e347dc9255f","datavalue":{"value":"1967122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401929$5DDCB8A5-400D-41F2-9991-B7E1A5E4A6F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b9c3129bc75f74a3d63fc5dc8ecae341b288e4","datavalue":{"value":"Logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401929$17008752-F173-4C6B-82DA-6D25A053FABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf4f74c129274c74f2df90abe98591d25c9e4a0","datavalue":{"value":"Automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401929$F6DF456D-B44A-44D5-83D6-BEF7B5631044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69060744aabb2483ce6273ca334d26b6cfd0fe2","datavalue":{"value":"Automated model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401929$2EAE9A3E-8FA4-41AC-AD16-CEBED853F75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a10c01de338b656148e4d7fad34486fdce7d0ed4","datavalue":{"value":"Saturation-based methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401929$143A0CB4-C925-4C78-945E-F2F18F7C9915","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$62E658CE-050C-47D0-AE11-3C54E4976314","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":"Q1401929$5FD7D375-DA39-4656-AE8F-3E8D747213B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$8A3664A2-4049-420F-92DB-F5FFEA27350C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1867080c0034d7856d12fe14b76198e231d90233","datavalue":{"value":{"entity-type":"item","numeric-id":1198235,"id":"Q1198235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$BFBB28B5-6788-49AB-B795-E7CFBED59AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80edf907d226bf1b97232b377afddac25ef87a78","datavalue":{"value":{"entity-type":"item","numeric-id":5927982,"id":"Q5927982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$C294BEB3-BB6E-4198-8563-ACB419D1AB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$6235508D-4638-44F3-906E-56D39EE3DD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$16E475DC-15CC-4CF8-83A1-2D65E59270B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315e95e4ad8a1c26487d3ff7728ab264483e45ea","datavalue":{"value":{"entity-type":"item","numeric-id":1310269,"id":"Q1310269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$E28438B8-59F7-4D98-B849-0183A6391E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37da6481d3393a5a430cfe31bbfd3e1bb865a00","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$2917EA99-0BFB-420F-8338-F1F6A8E20D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$84F81183-CEFC-4157-B6EE-91F4E9F86E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$A20D8F39-DEB5-4514-86AD-1316075AFD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$7A50C0CE-69C8-480A-A0AE-A5EAB2DC5BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f1e0b1f219dd8f163a3aee56dfd9139f4743b6","datavalue":{"value":{"entity-type":"item","numeric-id":1404983,"id":"Q1404983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$9BDB4BFB-330B-4ED3-B74C-FB471B6B5296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149d4ec026de16ffcf0b00bdc1dd938cbceaa3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4809060,"id":"Q4809060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$0EBA396A-624F-4894-ABC5-9DFC66AE6174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a367e15e40fb312874501f15d87e86df65678fd2","datavalue":{"value":{"entity-type":"item","numeric-id":1610669,"id":"Q1610669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$2A293DBC-DE2A-43BF-B51F-6E0F12181BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda6d4bc4ff06358c5dfe216b9a7a58bec1514be","datavalue":{"value":{"entity-type":"item","numeric-id":4102765,"id":"Q4102765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$C03E5C3A-4D92-47FB-90AA-C2CF72718680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$C5BCBF9C-2C33-459E-B333-7D2FBE56C59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$337F5774-CDF2-4053-8E0C-181EB952DCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f88b928513b729cf001aa1489ca23d8f7aa55d2","datavalue":{"value":{"entity-type":"item","numeric-id":3142019,"id":"Q3142019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$E489283D-3D1C-4B11-87CA-99B6D76E0607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$415CA8B9-1F7C-4BB1-9FD4-1BE56F3846C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e6382c025912b6232aa6c9b78839f793c2f768","datavalue":{"value":{"entity-type":"item","numeric-id":861367,"id":"Q861367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$EDC022A7-57D4-4305-9B79-EA97A88055A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811eee2cf1f391c5114de473a18e82aa89016ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4237680,"id":"Q4237680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$1A499F4C-36FE-41A1-9661-BB68FC68B5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567a6e033e1ee0b35de38f1be030a6a42c0e79f1","datavalue":{"value":{"entity-type":"item","numeric-id":1404976,"id":"Q1404976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$F5001A74-3645-427B-B6FC-BD3D645F5C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39d523debed46220be566420075cffb59cd405","datavalue":{"value":{"entity-type":"item","numeric-id":1360965,"id":"Q1360965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$8F5F8E21-F296-47C9-9450-80ACFA20F312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77591abfee89175136ad395b600d9c63ecfc990e","datavalue":{"value":{"entity-type":"item","numeric-id":4539642,"id":"Q4539642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$08509FA1-B99E-4770-972A-20C8EE8C7548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4026b0153b1227d50d0e550e7661e1b33c79d508","datavalue":{"value":{"entity-type":"item","numeric-id":4263159,"id":"Q4263159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$F5DD8D05-D1BE-4FCA-9A48-98A60B188648","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":"Q1401929$5780F7DD-20FB-485F-945E-74117276EE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$9F5EE808-52CB-45E0-9D4A-21F6EEE863A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd379cd3bdf04144236b4ba7f69e8c77bec3c700","datavalue":{"value":{"entity-type":"item","numeric-id":4560350,"id":"Q4560350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$FCF21206-BCDF-4DCF-BFFF-1350A3F99F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa22eac2d5e325e73fcaec20346664e869be59ec","datavalue":{"value":{"entity-type":"item","numeric-id":4647523,"id":"Q4647523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401929$EF7DF20C-B68B-4D30-B7D1-2AD653C0CEA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e852ecac704111aabe2b11bb9d7771b06a87f2","datavalue":{"value":{"entity-type":"item","numeric-id":1404975,"id":"Q1404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30003b0c22d6d364458018d9393a2a89e0956746","datavalue":{"value":{"amount":"+0.8796557784080505","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":"Q1401929$98C55F7A-372B-492F-AE14-7AA4EDA13380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e487f782a6f91ff2eaa5e09bf5cee8e63c2aa208","datavalue":{"value":{"amount":"+0.8537780046463013","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":"Q1401929$9F82A263-E3BD-4606-B465-1C53FD6E65EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed107c0b5f9570cfb041178e0327ee0d9628b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26a649da67d9fd47e8366465d04117aa464f2c23","datavalue":{"value":{"amount":"+0.8103992342948914","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":"Q1401929$1BB9E0F7-DB8E-4343-B05A-B397F989EFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d24912de5f678a2729bc25bbb087e65394657d3d","datavalue":{"value":{"entity-type":"item","numeric-id":4795877,"id":"Q4795877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dd767c62d86f3c2122ba015d973daaac18cdf2c","datavalue":{"value":{"amount":"+0.8098015785217285","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":"Q1401929$089D210D-4B56-421A-8265-BDAB73E59771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b218c4ba3c0ee3527ebaf03168166dd2cb9217ec","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33bd726cc71e11458ee777f1d83109c3a87269e0","datavalue":{"value":{"amount":"+0.8085834980010986","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":"Q1401929$DF378B8E-281A-432E-A764-BE9DC99B9174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401929"}}}}}