{"entities":{"Q1123642":{"pageid":1134391,"ns":120,"title":"Item:Q1123642","lastrevid":67051512,"modified":"2026-04-12T14:36:29Z","type":"item","id":"Q1123642","labels":{"en":{"language":"en","value":"Using an extended PROLOG to solve the lion and unicorn Puzzle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110163"}},"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":"Q1123642$EE10082B-0411-4FC5-B715-6ED63B0C8CBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba5b68c8e7ee47d726d807bfc85b636cb3c2ffa6","datavalue":{"value":{"text":"Using an extended PROLOG to solve the lion and unicorn Puzzle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1123642$C99C02EC-1165-4733-906C-557A75CA8F38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c975715228aa59579866180ee6f0f79c6636da79","datavalue":{"value":"0677.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123642$FE537B49-2508-498F-9116-DB7A357BF87B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaf5623aa43aab695e80114f0f451bdaec7805ec","datavalue":{"value":"10.1007/BF00248326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123642$27E67955-0DA2-4F4B-BEBE-28DA550797AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81cb74e173ca836030cda7a8e8c6f04bb014ecb0","datavalue":{"value":{"entity-type":"item","numeric-id":757057,"id":"Q757057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123642$908A7BC0-A934-46D5-A78D-C75B7F78A849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"639b17a5c0f4e9cc0d8af4595647a5bc29804583","datavalue":{"value":{"entity-type":"item","numeric-id":757058,"id":"Q757058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123642$922CE0C2-79B0-4EF3-B050-7921E5BE9461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e67f673f3ec8e6871d433048114f54ec1290a8","datavalue":{"value":{"entity-type":"item","numeric-id":1123641,"id":"Q1123641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123642$217AC45D-6D7E-4FE5-95A8-667D759C81EE","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":"Q1123642$805973BF-1072-44DE-ADBB-11356CB782AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1123642$F77E7063-CF75-4DBF-A1D5-C88B58C8BD54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123642$0CC58117-7BF7-4417-8D67-A5921E0B9F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123642$4A5AE7FD-FC70-4281-8D60-9597EB80512C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"204b1edbac06600ad079e022f90b7aa0bbcec1c8","datavalue":{"value":"4110163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123642$F61BF10C-C986-475B-A82F-4B69A322EDF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123642$BED863A4-2D7B-464C-BBF8-36937044542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123642$DC4CA04E-ABCE-4E5F-ACFC-6113E79384A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75be9d4623a52392889ab9516040c93fb36d7610","datavalue":{"value":"unification in finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1123642$5AED853B-54BB-4245-93D8-0841EE381A1E","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":"Q1123642$F70B615B-77FC-4748-8E15-F5CB26B3BEBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0334de2ceee9d58cf9f2cea4bfcf28d4f73e9a63","datavalue":{"value":{"entity-type":"item","numeric-id":3835050,"id":"Q3835050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123642$8FD506AD-E2D1-4E77-AD10-7822C1E15133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1b8154848e744927aca44d97ec80411b08cf00","datavalue":{"value":{"entity-type":"item","numeric-id":1821566,"id":"Q1821566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123642$CC2F3FDB-1268-43BA-93B8-CF9DBFBBCFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247c9163e83c1af1f0bd1f30914cbb6e385cb543","datavalue":{"value":{"entity-type":"item","numeric-id":3869300,"id":"Q3869300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1123642$26B6C8C8-D416-4F3E-A6C5-03FA9D8E0E48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f72d4b34c9a93ebc98f5da0671b7c85231d6665","datavalue":{"value":"https://doi.org/10.1007/bf00248326","type":"string"},"datatype":"url"},"type":"statement","id":"Q1123642$DEDB96C4-3C5A-4074-B9A6-182A44356759","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92add42e1646c90cead13e829e946a7aa49694c2","datavalue":{"value":"W1970060485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1123642$F3F04B9B-3040-4CDF-BA6C-B1CB7890B19D","rank":"normal"}],"P1643":[{"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":"a4cb08f5ca041d7f5c87b6323669764ce7c6f574","datavalue":{"value":{"amount":"+0.7355102300643921","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":"Q1123642$45A09407-6B32-41BB-982A-F5D7848A99A0","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":"c79910895713c7b257b6a32273041f07b9994ede","datavalue":{"value":{"amount":"+0.728813648223877","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":"Q1123642$81F196AC-E42C-487E-A792-A84D30FEC901","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":"4b4b853eafbdffa1ba1b538c9fb53116664b2e36","datavalue":{"value":{"amount":"+0.7278915047645569","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":"Q1123642$AF183FC8-2C65-427C-B310-79C6DC7B4609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95a096e86bab48be35651d882f321139176cbc5","datavalue":{"value":{"entity-type":"item","numeric-id":912656,"id":"Q912656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e18e44976773bdd4fe3c5a7f62c8382452d7d5a2","datavalue":{"value":{"amount":"+0.7277854084968567","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":"Q1123642$C9D81EE3-1EA3-4A5A-8D9E-1D13B115A65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa6bf9970473d0493d53acbc73a5315ee64766b","datavalue":{"value":{"entity-type":"item","numeric-id":3481491,"id":"Q3481491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9418213602ebeb2a09e11ac43f72c5fd11742f","datavalue":{"value":{"amount":"+0.7230894565582275","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":"Q1123642$A9DEF56C-099F-4DDC-8501-E81B0218F429","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using an extended PROLOG to solve the lion and unicorn Puzzle","badges":[]}}}}}