{"entities":{"Q3768368":{"pageid":5798274,"ns":120,"title":"Item:Q3768368","lastrevid":81088172,"modified":"2026-05-06T17:41:36Z","type":"item","id":"Q3768368","labels":{"en":{"language":"en","value":"Logic programming with equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4026796"}},"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":"Q3768368$BAA1C5AE-5FAF-4F5F-8718-52FDC05081BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8ff469bfadf070b972f43c1e007a038db8e915c","datavalue":{"value":{"text":"Logic programming with equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3768368$EFC59B66-73BE-4B13-9006-51CF5E917A45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74bb8bb03473f93b469041a884ab2dfdbe20e727","datavalue":{"value":"0631.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768368$95BA2A70-871E-461A-9F58-A32017FB3E78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8a6ca62e0ededc856405e803bf83c89b97537ea","datavalue":{"value":"10.1016/0743-1066(87)90006-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768368$0960891C-A456-40BE-98FA-A5D3C8FF5102","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072bf8242b94f6e94b5f95bb1354e68b510b95f7","datavalue":{"value":{"entity-type":"item","numeric-id":3768367,"id":"Q3768367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768368$44CBB787-5B66-4B5F-8AAB-6D66A36A5CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"181a8a4cdff0d7ae825ae7dd77700a8b4f94c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":1424802,"id":"Q1424802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768368$E51C12D9-DD32-402D-B887-F1EF6064A852","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":"Q3768368$ACF27B7C-518C-4CC8-9A61-404BF30F2B45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3768368$FA6A4FD7-A4B2-4203-BE3A-AA6A505B7EFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768368$1AFDD5EE-7AB7-4AD9-A2EF-04B07CB09ED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e40ff0b5ebb8576dc6e8b822f48e39009512db3","datavalue":{"value":"4026796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768368$67BCBA3F-89F8-4D80-BB1D-F75040BFF3D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768368$11BFF1C1-D690-4984-9E79-AF7740C257B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768368$E0F358BA-8C8B-46C7-8970-F716347BE7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfd627145ce1a54d764595f41fb2e8e4d193d8a5","datavalue":{"value":"equational rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768368$1EAE78C1-EBB0-4352-AC91-AE56FA2FDE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768368$30F33F85-8776-494C-8F21-58234A7BAA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2f938926bfa3837201cb05795e83943dfc8035d","datavalue":{"value":"logic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768368$F8D9344F-95D8-49B6-A583-A30B974FB9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768368$041C0577-EEE1-4CAD-BC91-6641A3ED820F","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":"Q3768368$DB6BEA63-D731-4154-9DBB-5A74F9EC2173","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3db8de5a34e2ad4cd355d38bd549a598005d1ff","datavalue":{"value":"https://doi.org/10.1016/0743-1066(87)90006-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3768368$FD732994-1CC5-4356-8EA9-EF30F76D666E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a450115aabe1ce27b240c864ceeccb69afa8623a","datavalue":{"value":"W1983328110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768368$C73A3E7F-A8C1-4DF2-845F-EC5603182005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f170105f515c48e300ff698a0d97cad045f080","datavalue":{"value":{"entity-type":"item","numeric-id":3361875,"id":"Q3361875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e956fa1089ae9b84e2ef7e007e8d9df4d23f3e32","datavalue":{"value":{"amount":"+0.8498393297195435","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":"Q3768368$1F81C504-8C99-4B95-998E-E9BE61AD8A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e4481174b06161ae2860ccfd73d21acab8420","datavalue":{"value":{"entity-type":"item","numeric-id":3780489,"id":"Q3780489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6fc09f2dd1dcfe3a40f474633c38b936d1d2611","datavalue":{"value":{"amount":"+0.8371414542198181","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":"Q3768368$FEEB8EDF-6F61-47F7-B9A5-9CADBA2287C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f627305a197d6a6b0d2e561f92b12be539a8e0d1","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034409dc50ac5c1e4cc3d1237c57363d45c550ac","datavalue":{"value":{"amount":"+0.8302106857299805","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":"Q3768368$A62CFD2C-30E3-4866-9A1E-2C8AF2164827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d37075a1917e2553c5f07df3e33a3ba49fe52029","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c221cd382805e68b2bc89c2be64ccce15fdcef83","datavalue":{"value":{"amount":"+0.8184464573860168","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":"Q3768368$6CBAAC30-2A6E-4218-BD14-A79CB2279BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfef15f704cbde7d6cc22d39778861a1141dab9","datavalue":{"value":{"amount":"+0.8159840106964111","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":"Q3768368$7D9FC363-E9BF-4F34-8701-04EB1559C746","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programming with equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logic_programming_with_equations"}}}}}