{"entities":{"Q4327430":{"pageid":6357031,"ns":120,"title":"Item:Q4327430","lastrevid":47316358,"modified":"2026-01-01T08:28:18Z","type":"item","id":"Q4327430","labels":{"en":{"language":"en","value":"Analyses of unsatisfiability for equational logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741082"}},"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":"Q4327430$A3C56E80-E1DC-4B3E-8CCE-AC9F71DC8972","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5124c63e4459aaae2ec6854f9a49f46e48d68482","datavalue":{"value":{"text":"Analyses of unsatisfiability for equational logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4327430$4B2E98BD-8DA0-446C-B0B8-37645FD412C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4e9f45d4cc3ece647a4e61ed26c4b92ceecd03f","datavalue":{"value":"0830.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327430$0243C6F5-E128-4B32-8A4A-A07626512BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b18b6241969c92a2cc1b1fd9212d0531d5bc2639","datavalue":{"value":"10.1016/0743-1066(94)00024-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327430$3DD10B08-59BE-4780-B5E7-EF7BE137EC7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0b2f408fe6685b80cd670171132056768eb8294","datavalue":{"value":{"entity-type":"item","numeric-id":4327429,"id":"Q4327429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327430$3C5A4C1F-DDCA-45D9-9628-0C137DC0507F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327430$94A3B570-4588-4B00-A148-4C79F0DD596C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327430$23206DFB-A0FB-4C06-B093-739384AFFB9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327430$657D58AD-6333-4A18-9C5C-9C2BAABF676D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"105cd52c1072aef79a48ec029075a51ef3a83a4a","datavalue":{"value":{"time":"+1995-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4327430$4D32ADE2-DF96-449D-B3E8-A6E99215C571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327430$DF02C953-4984-4D68-B6EE-87EEE4C90064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"046661f0cce1a81eb6540e382b06523bfe0b2051","datavalue":{"value":"741082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327430$A00FE1C7-48E4-4FCE-8BD8-D8F2C9B88839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89058fbb58d667ff1d7d82edc169eb97b3ff3692","datavalue":{"value":"equational logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327430$1D243712-A45E-49D8-8D1C-589F3504A136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b606f3cbdf696f155b7e8a75457e0c4da7d2fd","datavalue":{"value":"abstract narrower","type":"string"},"datatype":"string"},"type":"statement","id":"Q4327430$422FFE1F-DA1D-489F-9626-3BEA39ABF6D2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a2b388ecab6faa4baf63ec45c7e69631c1cc0633","datavalue":{"value":"Q57978310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327430$D7CF0263-2F78-4A48-9EF6-E0A2A7002EDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32dae26506ed7b7d490e6f4de337f1bbf687f144","datavalue":{"value":{"entity-type":"item","numeric-id":15552,"id":"Q15552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4327430$B7B654E2-6808-4CF3-BAB8-73DA9C91FFEC","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":"Q4327430$D2E2893D-7901-4DE6-B8C9-FE51A1C7DFE9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"33ef46a3767a1c1d3eddbdd08f0220d23319db69","datavalue":{"value":"journals/jlp/AlpuenteFM95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4327430$52BF43CF-BCEE-47A7-98FA-1C862F9437DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1af03088246f5f4c72ab2f8211bc68b3eb20e5","datavalue":{"value":{"entity-type":"item","numeric-id":4537508,"id":"Q4537508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afbc789daae332dac71afdee931ea69ab2adcf5","datavalue":{"value":{"amount":"+0.7935486435890198","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":"Q4327430$949A3FAD-B469-4855-B64B-9D5D571577D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9393c977494fe557018e222b8c1eb3d05e357d19","datavalue":{"value":{"entity-type":"item","numeric-id":671509,"id":"Q671509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff01498c3302aab4edc41b273cbebf0ad6f6ac19","datavalue":{"value":{"amount":"+0.7886978983879089","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":"Q4327430$9D7593EA-F081-4909-9D93-C3364259FE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26d6998685e2f7c03c1673ac12d6febc231bf71","datavalue":{"value":{"entity-type":"item","numeric-id":2639627,"id":"Q2639627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e45ad4c2f69b02b8e747be3f77ac48d098c5fa9","datavalue":{"value":{"amount":"+0.7725363969802856","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":"Q4327430$D21CD382-B6AB-446E-84C9-9357E66B3531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb67eb28a0ce730c6dcf90fbf8553cc26a9d994","datavalue":{"value":{"entity-type":"item","numeric-id":1197097,"id":"Q1197097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153117ebd0b128e67863b027e79bb8c2e71bd505","datavalue":{"value":{"amount":"+0.7635112404823303","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":"Q4327430$42102080-52FE-4AF4-8262-C9CC415FF222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974277121f9b4d7dc5ae3b717cad389cf7f9e690","datavalue":{"value":{"entity-type":"item","numeric-id":3348390,"id":"Q3348390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b57cf1d708192a6b449d70909ae4fde22726225","datavalue":{"value":{"amount":"+0.7625876665115356","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":"Q4327430$41DA34AC-11FB-46FA-9811-D52C3E7BBD78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4327430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4327430"}}}}}