{"entities":{"Q3692850":{"pageid":5722756,"ns":120,"title":"Item:Q3692850","lastrevid":50268299,"modified":"2026-01-13T17:04:44Z","type":"item","id":"Q3692850","labels":{"en":{"language":"en","value":"Oriented equational clauses as a programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3917695"}},"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":"Q3692850$B6A880C4-5A7A-4E49-9969-5E083E7B2527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"556cc5d1f7fa1c14f5b7d1305127a647efbeb331","datavalue":{"value":{"text":"Oriented equational clauses as a programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3692850$FFF2B470-7F89-4BB7-8C53-BEC016CB2954","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db192eca56156e124a7d0d287caaf0ef28a00f6e","datavalue":{"value":"0574.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$C3E7D48C-88AB-49AB-AA4E-170A92CF518A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42cc5101377ea5a2afd7ada5d44fa59d6ae9c733","datavalue":{"value":"10.1016/0743-1066(84)90003-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$CA525BC3-5109-4B87-B3FB-DD1D27166015","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":"Q3692850$795DC161-06C0-4CA6-BF5A-4DCA3C1EF34E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3692850$86F28ED6-841F-4E9B-9EFF-382A0BE81CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$228F8CC2-19B5-40E8-8165-5B0CA94DAD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$9AEE5CEF-BCED-4F7E-9AD2-F27A134F588A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$117ABBE6-E806-4694-98C4-D1D00928E994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$5711CC4A-BBDB-4FC0-83B3-838300E802D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f221dc69b2568bbd7741e7837b06507c019fa300","datavalue":{"value":"3917695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$AEC89E65-5765-4AB9-B372-7190A3C0E71B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$AEA37460-AC68-4243-B9D4-AF87637252AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$07F32997-E6DE-4D6D-8BED-CFD9B540DF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$BF48F43D-2CC6-4CA5-9D42-8D96F6DEDC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$CA0B1EC3-1AFD-4B59-B3DA-E5F6A5BC0F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$BBD6752E-11F6-4781-8234-6FE316EB02C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fb20ae03cdef9b5fd58268043d3f92911d53ab0","datavalue":{"value":"reflecting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$79BC488E-AA6E-44B5-8CE2-09DDD37EC949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3692850$3CD85804-E5F0-429D-9458-431B177B6D1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3692850$6FEE8710-EC0A-42D4-AF48-34352D231D74","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":"Q3692850$271682CD-209F-4FA6-AABE-DDDA5206AC9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2e7b0b6bb4d9b7478d5760bde4ca28abf38b291","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90003-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3692850$99DCDB55-01ED-4E65-9AAA-CDCCABC3D1D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5972c8c8bf34d55b4d4719583085eb1aaa9a62c6","datavalue":{"value":"W2008851176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3692850$B3A0D8F6-2F2E-4EC9-B392-394685228477","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8bf6ae7dcb5f933891d727f7bc1ca20b064758","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cb9202c18edf24faa98469d246d5470fab2ea3","datavalue":{"value":{"amount":"+0.8044103980064392","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":"Q3692850$595A5D2D-3FFE-44D4-8366-1CCDD53278D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bd7ca72bcebffbdebe664c67493578ddda764","datavalue":{"value":{"entity-type":"item","numeric-id":5881306,"id":"Q5881306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d28c7aa6f36aeaca74ca32daff558037acd8f60","datavalue":{"value":{"amount":"+0.8003249764442444","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":"Q3692850$5177F58C-2FBA-4095-B019-CB13C04BAD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb052b74a5e537a7695e04e6200ec00c8de16e","datavalue":{"value":{"entity-type":"item","numeric-id":4858579,"id":"Q4858579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dec6aec252bd1d72b248f3ce8033dbd0d87adce","datavalue":{"value":{"amount":"+0.785834550857544","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":"Q3692850$1ECFB28B-25A7-4E14-813D-7EC65EE53D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2f214e88bbcffba873addf8e4b63299fa1997e","datavalue":{"value":{"entity-type":"item","numeric-id":1355756,"id":"Q1355756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c94d0257e407d6e21943fb87c95ffe20b8ac764f","datavalue":{"value":{"amount":"+0.7850458025932312","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":"Q3692850$DC3C52B7-D41E-4293-97D5-77AC82A2CA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e959d3f3754c8b194932e3279ff3dad9e3e77e","datavalue":{"value":{"entity-type":"item","numeric-id":918967,"id":"Q918967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661a23f320d25cfb3a5eaeb13e89e0091f8f531a","datavalue":{"value":{"amount":"+0.7812240123748779","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":"Q3692850$3EF9E418-C20C-4DEA-A234-FB737F21FBE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3692850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3692850"}}}}}