{"entities":{"Q912656":{"pageid":914504,"ns":120,"title":"Item:Q912656","lastrevid":49375009,"modified":"2026-01-07T01:32:26Z","type":"item","id":"Q912656","labels":{"en":{"language":"en","value":"Replacing unification by constraint satisfaction to improve logic program expressiveness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4145369"}},"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":"Q912656$EB4BCA37-DC78-4986-9D61-1664FB61F9DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e49354f46cc73b1fbca8343e8dfa9a4820dbb3de","datavalue":{"value":{"text":"Replacing unification by constraint satisfaction to improve logic program expressiveness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q912656$B258D62F-B1A1-445D-A0AB-158A3821941C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47853127daa23ea247325e5b189eaf97c2adfec2","datavalue":{"value":"0698.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912656$A14E58EF-F88E-4D53-9D73-8B25721B6F60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14edb4426e4f341a6c5318d56825dc0b8f763d4e","datavalue":{"value":"10.1007/BF00302641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912656$F3C0F2F8-2733-4845-B64C-4EC633128D08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$23EBCD71-EC19-476F-88B0-C54B71B8265B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$F80295E9-FE40-4705-B8C0-F6DE0ED280FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q912656$1FFB720B-3AF5-4DA0-B3CD-138223758C58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912656$FD782567-1D89-4782-A1BC-42563F080E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912656$9FCB4327-B7DA-43F3-89F3-87B0249A8385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77458bb8978729e325ca5d21d57d92033e6cb7ca","datavalue":{"value":"4145369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q912656$8A69D85C-5501-445C-B55A-B6D4B2314279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f2fb8f1327157f07a8e62842d32620dbb856cfc","datavalue":{"value":"constrained unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q912656$7F8E397D-BA35-42D4-8E2B-D91FC5B1FCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q912656$AD27B990-3C12-46DA-BED8-37EFACD79DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q912656$D522764F-0BE0-4D7E-AA04-1CF84F7C448C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce2f022150f715a7511e6d7858b8ad16a6ce2518","datavalue":{"value":"constraint satisfaction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q912656$F6EB1749-EE82-4E8D-BA21-6D3B77F44930","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14a2264403744050e53cf77851c7fb4bdcbc4698","datavalue":{"value":{"entity-type":"item","numeric-id":16392,"id":"Q16392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$547F35E0-E053-4415-ADEC-744A315F89D4","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":"Q912656$B1494DC0-792F-4AA9-BFA2-A070FD3D589F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a361b99a125f92d7fcf484a19582b46266c87e","datavalue":{"value":{"entity-type":"item","numeric-id":4673630,"id":"Q4673630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$1F089FD2-7192-49CF-8C90-2F19B50CDD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8595f94564ff1196fe4759b4d70faeb977e75c0","datavalue":{"value":{"entity-type":"item","numeric-id":3742757,"id":"Q3742757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$24444A0E-424A-4247-8ED4-8A0DD294F93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fd86a574ce52183f6056be53a5d5584999bfd8","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$997A4050-27C5-45D4-85E3-98462CA7ADF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eecef30176f137703979cd0ea3e9759e8dca268","datavalue":{"value":{"entity-type":"item","numeric-id":3786035,"id":"Q3786035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$D924CE98-D0F1-44AD-92BA-DF6F46D0445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$9491EB3F-C584-4D94-B855-48BE2765792D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8166349a97bdd65a3d266da8a53b328b2cf60d6","datavalue":{"value":{"entity-type":"item","numeric-id":5750391,"id":"Q5750391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$39DF1828-9CC1-4F5E-8E28-DEECBD7EABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1746c0002a982167f6b872896509d0ce78aa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2536323,"id":"Q2536323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$AF3B5A7A-91C8-4E82-881D-30DCA73E809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ba9b471781872e658d23c384f5e9706860bc2fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732977,"id":"Q3732977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q912656$7BA6BDCA-5253-4E8D-83F3-F1085C2395BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fe1ef76b0ecc3055117a4d0294fa84b07839ac2","datavalue":{"value":{"entity-type":"item","numeric-id":3793766,"id":"Q3793766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62841f87ad7244a04815845a0266dff69944e9f","datavalue":{"value":{"amount":"+0.787716269493103","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":"Q912656$04F1461E-C4AC-4B87-896B-DD3E9DD9F3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7748fc912aa7fb7bb88a73b0e02c7523db4e81a1","datavalue":{"value":{"entity-type":"item","numeric-id":4729329,"id":"Q4729329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b597af75b8f065aea21c02f5f73158fc2e1ecc4e","datavalue":{"value":{"amount":"+0.7764947414398193","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":"Q912656$218A85EA-51A3-47B0-8CBB-F8E4F3A1DD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9a536d29f20050258457a9471b17462b41fac3","datavalue":{"value":{"entity-type":"item","numeric-id":3809305,"id":"Q3809305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cef336a60ce0755c536617a14e26f58bd5933b","datavalue":{"value":{"amount":"+0.7748292088508606","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":"Q912656$E8DC6466-1249-4C17-B852-FE185725696F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8e1a160b9ed26771c2b247a3956611aa4bab1f","datavalue":{"value":{"entity-type":"item","numeric-id":757060,"id":"Q757060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fa0df96a1dffb34740eec171b2247cc4c85fd4d","datavalue":{"value":{"amount":"+0.7727918028831482","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":"Q912656$58D0E7E8-F9CD-4048-A62C-F91F2A04B4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73355af8bf88fa8e10c3705058fd6c98d1f84f02","datavalue":{"value":{"entity-type":"item","numeric-id":1327159,"id":"Q1327159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c822e1bfb46e06c259bc8946f27afd2bbb557ec3","datavalue":{"value":{"amount":"+0.7574061751365662","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":"Q912656$09C16704-3DAA-4AD9-978C-58A25BBF1864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:912656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:912656"}}}}}