{"entities":{"Q3348390":{"pageid":3359098,"ns":120,"title":"Item:Q3348390","lastrevid":86999579,"modified":"2026-06-04T10:25:36Z","type":"item","id":"Q3348390","labels":{"en":{"language":"en","value":"Combining Logic Programming and Equation Solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4199605"}},"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":"Q3348390$C537DDD6-9E11-4FC4-BC6C-DD1926197728","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccc40067fe34e1dedb28788ef2b6e8a56401ca23","datavalue":{"value":{"text":"Combining Logic Programming and Equation Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3348390$43BE86C5-0DB5-4910-9C93-BC3D96EE5EE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f29814ea79bbfcff572d96044e594268dd450951","datavalue":{"value":"0726.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348390$531E4A46-6962-49E7-B816-72B6D58A7C55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d64bfbdd62224172c0dd77b653dc5558f40927f0","datavalue":{"value":{"entity-type":"item","numeric-id":918540,"id":"Q918540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3348390$789D867F-FB69-4A2E-81BE-14F64B0123A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q3348390$5A8F32A4-7CC7-4572-BC45-70405346EB30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348390$F6A993A7-343C-4F01-ADF5-49F1076F12F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b1832ea9d3116a7c4dc43179159d84e4ce0a830","datavalue":{"value":"4199605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348390$82B645BC-D011-45F4-8D9E-0706D52A8B36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35277f2ac5686abefa93b01c71e9df74c8bc50dd","datavalue":{"value":"Conditional equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348390$F7710775-D920-4EDE-9409-AB126FDE8BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18dc0c613ba7f855d6029d5bdc1156f9f1b42daa","datavalue":{"value":"universal unification procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348390$CAD3FAF8-3B9F-4D8D-BE3D-45713A0F7F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348390$CEBF2540-8BEC-4ED5-BBD4-976339BDA213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43e2b65dda135fb496855f598efb13cd59d37798","datavalue":{"value":"equation solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3348390$E66AF89E-5463-4A40-95E8-ADB798D69BEA","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":"Q3348390$7C3E7733-6F7C-42F5-ADC3-6F0CAA117DF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"319790603b9ac9d3cb2fabe1aaed0a921833744e","datavalue":{"value":"https://doi.org/10.1093/logcom/1.3.397","type":"string"},"datatype":"url"},"type":"statement","id":"Q3348390$2E3BEAB2-6C93-4B29-B787-8BF054E9F298","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2645a2bfdb936728526584e5a022c7e8b7f6ea76","datavalue":{"value":"W2003158995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348390$6A7F6A47-586B-4013-8F20-3D6A121A9B1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfd78d8e49f0e54ac9badf6ba13ec3bcd4c0fc4e","datavalue":{"value":"10.1093/LOGCOM/1.3.397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3348390$3104C0F9-3DB9-4945-8CCB-79697C0DD99F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3348390$558A2449-FF99-445E-9570-5D07D4AE64FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e120e715734180afc3ab140168d58ad33395fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767c72eae7e0df926b4c507daf60432bafeaaad6","datavalue":{"value":{"amount":"+0.8351166248321533","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":"Q3348390$FE6CBA1B-2819-496D-99BC-B59BC72175E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f517a55cd89facdefa42b5940614647bb01bcf8e","datavalue":{"value":{"entity-type":"item","numeric-id":918541,"id":"Q918541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77259e6c4dd3268444e95e57874bb025ece384c","datavalue":{"value":{"amount":"+0.8347527980804443","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":"Q3348390$F7A04DB4-806A-4887-800E-C6E83C40F10E","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":"0bf42cc6c06714093aad88cf351ccbd37e316aca","datavalue":{"value":{"amount":"+0.8265640735626221","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":"Q3348390$6431659C-926F-47F7-9C99-F7252E9FDD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e85b3b860f0bd64335101ac0621aa3c3f2b0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3768368,"id":"Q3768368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e90a39ca4c031ff728110eb183d5275d267371","datavalue":{"value":{"amount":"+0.8145766854286194","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":"Q3348390$D6A254E8-1060-407C-BB8E-907641DB8947","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":"919cc27b3cf000960a96584565498374f67b98ac","datavalue":{"value":{"amount":"+0.8115420937538147","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":"Q3348390$6657C8A7-D4AB-4F22-8B6B-69649F74F536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining Logic Programming and Equation Solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_Logic_Programming_and_Equation_Solving"}}}}}