{"entities":{"Q4380444":{"pageid":6410043,"ns":120,"title":"Item:Q4380444","lastrevid":46537341,"modified":"2025-12-25T00:01:45Z","type":"item","id":"Q4380444","labels":{"en":{"language":"en","value":"Decision procedures and model building in equational clause logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129204"}},"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":"Q4380444$808E0B3B-639B-46C2-878F-375D4FB45916","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26b111213008678fbd574d33f44275b6cbb08afe","datavalue":{"value":{"text":"Decision procedures and model building in equational clause logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4380444$C5868590-2F04-4791-8E43-9495105B8DE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"858af2bf9a0a44b121146f129856ea85ce23f3c7","datavalue":{"value":"0903.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380444$9D96E443-AD12-4803-8F1D-96D4F603B7D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380444$F7A669AC-1C0A-441D-94D6-AA9FD7D11B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380444$F40D76A3-1A31-49CB-A5A3-F5E43DF10534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0568f48c55e62ce7d58fe24349be3b52a52a8928","datavalue":{"value":{"time":"+1999-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4380444$35EF2556-837F-4064-BE1E-A86CF443D796","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380444$A15C5CA0-A567-4BED-93F9-27C519EBC5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380444$73728236-5562-48E2-A925-20E0BBB23592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0427d5c5739276838f1f5da0d2de05324dce0562","datavalue":{"value":"1129204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380444$7071E6CE-C286-411A-BD60-757EDB3480CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$E124CB8A-DEF4-4798-A1B0-922B8FCBC355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$4E27A821-6BBD-41C9-B6A6-1D521A0CC0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fd8359bd586204f1b86eb3b92b74a119097e66e","datavalue":{"value":"automated model building","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$E33EA4A1-652E-4049-BF21-EB6617242CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0aff4576f2ceeca6f0cb3bb4b0033cbafe9d3e","datavalue":{"value":"positive resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$79696B2D-3AA8-40BE-B004-A663DBAB2EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ac5773f2609f971f26b560dea0a7ac2b521a75d","datavalue":{"value":"positive ordered paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$82BC86ED-558A-491A-A1CE-37F836A3E9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$DB5CC471-9219-44CB-8B58-C0CC819D92CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380444$D27E212E-9313-4993-8C21-8B3E295613B7","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":"Q4380444$296EB7F4-93A8-4997-81C3-C9CDF3D97C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e5d0f7bcefd4aa0574813c8f0511af5c8b2ed83","datavalue":{"value":"https://doi.org/10.1093/jigpal/6.1.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380444$6E313FF0-F77E-4B21-A5E4-1D84298EE879","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7ef6c323474652f8703d07236897449aa2fd089","datavalue":{"value":"W1997432585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380444$27ECDEDE-0532-4CE7-963C-E1F85143BF18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e5291afb5959fdecdb9af7f2b76db5e2ffd40f9","datavalue":{"value":"10.1093/JIGPAL/6.1.17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380444$E34A1F34-6BDC-4864-A1D9-C3FA5E422A2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380444$88816533-B95F-4D1C-9500-ADA01450494E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5c3a501ff7f2f03251b25b6116ae107252c57b","datavalue":{"value":{"entity-type":"item","numeric-id":2743641,"id":"Q2743641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2f33cb7c3bbd3e20e55f62f7bce46a4443b79e","datavalue":{"value":{"amount":"+0.8259657025337219","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":"Q4380444$5DA022D3-48F6-4CB0-B0F5-D0B1D6E226F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868fd0d9d4c765270349859740f6de0fdadb6d1f","datavalue":{"value":{"entity-type":"item","numeric-id":861367,"id":"Q861367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cc32a9dcd54517228c7131652edb9a75bb187e","datavalue":{"value":{"amount":"+0.7944727540016174","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":"Q4380444$B519B914-E870-48DD-A199-7921C1E3BCC6","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":"798277cf82af5b6758140ec55379a26495f816e2","datavalue":{"value":{"amount":"+0.7902400493621826","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":"Q4380444$4C2ED68C-9137-4BD2-ABD6-CBA560EAF911","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":"80f1fa81b5f0d49c7510ab22d05b665f84c05a7b","datavalue":{"value":{"amount":"+0.7826277613639832","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":"Q4380444$852F26D0-B0C2-4A8F-9CE2-0FDDCC9B81DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4380444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4380444"}}}}}