{"entities":{"Q3740274":{"pageid":5770180,"ns":120,"title":"Item:Q3740274","lastrevid":50938508,"modified":"2026-01-15T20:24:02Z","type":"item","id":"Q3740274","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3974342"}},"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":"Q3740274$D90D3088-56EF-470A-BF74-5B973B50D4FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5efb0bb095c0d2df140aa9aefb6200f33d0412e","datavalue":{"value":"0603.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740274$149581B4-44DB-4842-9C36-4C474E40511E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"998d15757c31c4085737f7ae10fa09232a6e0136","datavalue":{"value":{"entity-type":"item","numeric-id":1262769,"id":"Q1262769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3740274$88B336D0-62F2-45BC-BB02-7E24C50BE2E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3740274$6DB238FE-41AB-459E-A479-2FABA85FFC31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740274$B1FA9140-4952-4449-9572-FFF32824AE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740274$F2665340-3392-4F34-9A31-4153D5120558","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f2e4f97e25283cb38dc0f0d37d6e411a2b4fd7","datavalue":{"value":"3974342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3740274$D5FA5153-DAEE-4236-A078-32662B2C9519","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa3a32e8475ff96d4b7905783b676778109ec9","datavalue":{"value":"complexity of unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740274$18F6123B-9619-4CB9-9ADB-76FD937562C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740274$372742DA-2632-46DE-A597-9C26BBFFA36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b4d854b316533e6f838652b948e2efbde433b47","datavalue":{"value":"intelligent backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740274$E8DB16BF-D53F-4A83-9792-8A3AFFBA8F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740274$193B25C3-486F-450D-96D8-7C2283626882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3740274$CEF57406-FCEE-49A8-95A2-B73CD303336E","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":"Q3740274$F76F516F-D02E-422F-B97B-644F73505AF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e1d3849a64fdf4031aae2ae2b9b8d4a2d30142","datavalue":{"value":{"entity-type":"item","numeric-id":1262770,"id":"Q1262770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e20d12ab591a4281d940883c8f97dad0e5afb5e","datavalue":{"value":{"amount":"+0.9239376187324524","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":"Q3740274$FD93C827-0076-4224-BCBF-37CAA5D17410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada583d0631a4e5b07d6d1ca4cd70c88f624f077","datavalue":{"value":{"entity-type":"item","numeric-id":1075061,"id":"Q1075061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"276c086b95c19268ec1e09df584c6d91fe531a69","datavalue":{"value":{"amount":"+0.8000966310501099","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":"Q3740274$EDDC610D-1AD2-4287-94BA-7436BAD5EB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73971625ff54680a9e6f848a46dec049f3c2a4f","datavalue":{"value":{"entity-type":"item","numeric-id":1101246,"id":"Q1101246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6375380c139f4032dc88f2c225963a87c0d8a9","datavalue":{"value":{"amount":"+0.7727414965629578","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":"Q3740274$2BDD36E0-551B-4F9F-BC08-EE802B5D1A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb8da0662d0177a42510a93ea2ef7d545a1b75","datavalue":{"value":{"entity-type":"item","numeric-id":1399134,"id":"Q1399134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f82a6af11705bddade6325d0c245ba9a410928","datavalue":{"value":{"amount":"+0.7651568055152893","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":"Q3740274$CE38582B-26CE-46BA-913D-071D4A3F3B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9fd94376499700666932e40ae6995713412fed","datavalue":{"value":{"entity-type":"item","numeric-id":4721668,"id":"Q4721668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c764da8880c9c419f67870fbd97f7b5214180e","datavalue":{"value":{"amount":"+0.7642371654510498","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":"Q3740274$200E0F84-727F-4EDF-95C5-FE6C639FD34A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3740274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3740274"}}}}}