{"entities":{"Q5705939":{"pageid":7735493,"ns":120,"title":"Item:Q5705939","lastrevid":48590740,"modified":"2026-01-05T07:53:59Z","type":"item","id":"Q5705939","labels":{"en":{"language":"en","value":"Logic for Programming, Artificial Intelligence, and Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2227672"}},"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":"Q5705939$18A2FE46-BAF2-480B-93D4-8F84B0BF6812","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66dda1e339c565f76839548b5c384b85a04b7da0","datavalue":{"value":{"text":"Logic for Programming, Artificial Intelligence, and Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5705939$00929F47-12E0-4617-ADF6-A2635935A359","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b37022b17c85af068d8e0447693d15b215f25d86","datavalue":{"value":"1108.03308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705939$12E80A28-8448-4DB3-8A0D-5AB6E3B1E517","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f0a37a82c91a35e36561764c406163ac5986165","datavalue":{"value":{"entity-type":"item","numeric-id":1627456,"id":"Q1627456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705939$703C7204-49A6-4230-853D-E7F1F7E26988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705939$C9DB1B57-F101-4B02-BE9E-A8F3090F3779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705939$A5EE3E92-6BEC-4ED1-9EB1-24E51949C2EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5705939$1D7A16C4-A704-4DCC-B388-CC2BB593FF9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7504496f9cd86e8ea3172be7e26b0a8b93a95b96","datavalue":{"value":{"time":"+2005-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5705939$B1B03376-C8DF-4367-B3F1-874E5EE4C745","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705939$A5A20F37-EC99-40B2-A371-BEE747D41836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705939$265E3227-395F-4D12-9AC9-EA9B2B74858F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7cb66959d4186bd46457e6024c434e38b572ab4","datavalue":{"value":"2227672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705939$77E1C26D-8B7C-4194-8523-D5B729A9D366","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"282fd5ca760faecb08845c3c1856b0767ee048ce","datavalue":{"value":"Higher-Order Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705939$8125B419-3671-4F27-9AF5-AF9E826B6F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6852c03eb9c39baaf598b9ddacd03c13bce350c","datavalue":{"value":"Second-Order Matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705939$C88D4209-2B90-4560-A86E-AFF8F30AAB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a997cd8edc7ad61c3c221a09417a095495bd76b","datavalue":{"value":"Explicit Substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5705939$5A35CAC2-F982-45F6-A6AC-901878EEC428","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":"Q5705939$EEA20DC6-4EE3-4B86-BB87-756CFA291F9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bf7529d9e69b1eeb48f22b871b72b8984ed8fbe","datavalue":{"value":"https://doi.org/10.1007/b106931","type":"string"},"datatype":"url"},"type":"statement","id":"Q5705939$4E2B7019-F7F0-402B-B816-95A936FD6BC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ab10f068e1dd29b7ed24eb99b8a1dc208d037ec","datavalue":{"value":"W4206255911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705939$E76CAA4B-B40D-4934-A5D1-D25EB2FB711B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ac2ed6e76a8a5b01314572c93279793f3ec6d49","datavalue":{"value":"10.1007/B106931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5705939$E60AD994-EFBF-4CC4-8A3D-E2064286291A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c361fabfc734132ef6f6e23ea7682a15810936e","datavalue":{"value":{"entity-type":"item","numeric-id":5055870,"id":"Q5055870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366ca5480138c6169f758afd34be940f5284c082","datavalue":{"value":{"amount":"+0.8125284314155579","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":"Q5705939$50CDA41B-732A-4730-BCDA-ABF9A12A90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5275e7e4740423d4e5effca2fa931c9af8fa5a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2766781,"id":"Q2766781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce272fe0f78048d963ad4e336edd53f59394642f","datavalue":{"value":{"amount":"+0.772707462310791","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":"Q5705939$8A781AB6-CE3C-4B4F-A216-0DFDFC66E299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ffd4852829b541272a9e3624236ca2f96bb89c6","datavalue":{"value":{"entity-type":"item","numeric-id":3372686,"id":"Q3372686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61b014388ac09d281e5843463ce152b0e8dd3c2","datavalue":{"value":{"amount":"+0.7724748253822327","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":"Q5705939$67830D5B-971D-48D8-8ACD-3B75C6C419CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75935ac4e8daec9d85a19c99776d7359d8cf4afc","datavalue":{"value":{"entity-type":"item","numeric-id":5958614,"id":"Q5958614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7daa844d705ea98418f7d494de1b3436e05b7f9","datavalue":{"value":{"amount":"+0.7712072134017944","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":"Q5705939$5F5343D0-62D7-4286-9AA8-B6C41440236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a257e33580c44aacb2a643d79d7e9a64e56fe8b8","datavalue":{"value":{"entity-type":"item","numeric-id":5387884,"id":"Q5387884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50380adf847a505ec26a175890eae9b1ee1778b8","datavalue":{"value":{"amount":"+0.76258385181427","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":"Q5705939$0210C742-4D0C-48E1-9955-C2FF1D2BEE81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5705939","badges":[]}}}}}