{"entities":{"Q1100935":{"pageid":1111687,"ns":120,"title":"Item:Q1100935","lastrevid":69641844,"modified":"2026-04-13T08:24:08Z","type":"item","id":"Q1100935","labels":{"en":{"language":"en","value":"Embedding Boolean expressions into logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045232"}},"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":"Q1100935$FFDF5D1B-6371-45B2-94BE-2A0209DEAF6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dd4abeaca5f2064ef2a358c23bc100ac152f595","datavalue":{"value":{"text":"Embedding Boolean expressions into logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100935$28176DE7-4471-47D6-BC11-488132A88E9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83eb135e310c2e794f548b0154fd0941e6848832","datavalue":{"value":"0641.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100935$767CFF1B-38B0-4D15-A9B6-BD308DA1C45C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21b109fc52cfd6b82abb1919c230589bde28a186","datavalue":{"value":"10.1016/S0747-7171(87)80065-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100935$E6AE8279-E878-4355-9227-3BA8C05331A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"361433d67351ad62f7771199b4450b5286857534","datavalue":{"value":{"entity-type":"item","numeric-id":265696,"id":"Q265696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$F2EE9B0A-70AE-46D7-ABBD-60D35F9B18EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d31bbdd09c0267fc58d26b7e0351a4977291b790","datavalue":{"value":{"entity-type":"item","numeric-id":786402,"id":"Q786402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$55C05029-49C8-4858-9CBF-C602083FCD69","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$CFB2DCC6-5B27-4818-885C-68072E23D7BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1100935$85C09E77-02E0-4119-937C-443243B4910E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100935$AEA2007F-C2A5-47EB-A039-C1E6BF788769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100935$08B34B00-F225-4F68-B523-5ABB2CC53B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4644a451acdd8a3691f9724265947d820f0ee601","datavalue":{"value":"4045232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100935$AE34EA90-D0BF-4C87-B5F5-26F9FBECE773","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3151651943eabb804fe809c0f7f7156bda75cefc","datavalue":{"value":"unification theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100935$D2170CDF-475D-40DC-8E3E-394E6851399C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1771e2732ea75e29a8af410cc61be0a631a9da","datavalue":{"value":"Boolean expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100935$FAAE6436-02F3-452D-BCB4-702228740C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412a222163a6a7d77238f6f19798a25e2c5d456c","datavalue":{"value":"most general unifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100935$28A40D48-4486-4D3F-ABF6-26967F4E816B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100935$AA487F36-63F3-4D66-AB56-E0546294F0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100935$AED089E8-67AA-4CFC-9628-2F9E2F25A2A6","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":"Q1100935$B455A25C-C382-4FD7-9513-CB1E22B564E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$9C522240-1052-42B9-B7BD-AC6894FF2044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$770B2806-798D-4FCF-90F0-733BEB50FD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442fda286202e664a839f93dfc76b2cb5fb8ec94","datavalue":{"value":{"entity-type":"item","numeric-id":1098653,"id":"Q1098653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$22CEFD6C-F559-44A0-9717-6F0652444277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$E46C30EE-C8FE-4E8D-B12C-178E1C65F421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$99A3AE1B-18DE-4319-8B36-A8B7BDD2D07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$51D18FD5-DB17-4FD6-8DDC-CEDAA26BB6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea1e3bbd7bfcd33ccc11c2b2d5eccc4f0358d99","datavalue":{"value":{"entity-type":"item","numeric-id":3786022,"id":"Q3786022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$8E5DC380-344A-49D5-82BA-A8FD77FCD603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a946cf7024e56de3add0909eca8fc65c950282","datavalue":{"value":{"entity-type":"item","numeric-id":5665188,"id":"Q5665188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$A71FE481-40A1-4B75-AD6C-0574C00572E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$34BCDF5E-869E-4760-8310-82DC81A85CE3","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":"Q1100935$8D16ABAF-2AF7-4D54-AAF5-FAB5CFCF3189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$E4CB125F-C312-4EAA-86BF-00E8E9CAF086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456271b1daa1011563d4ee9eaedd8c2523eab20e","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$4D53532A-F1E9-47F2-81C9-F3128969AC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100935$C4801102-42B5-4E4B-B9BE-9C61C096E7E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2890ff69813fd69b1686564860f01fae9808e734","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b8f181625f69d7cb4b258e3b2a4f967d48c997","datavalue":{"value":{"amount":"+0.7467123866081238","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":"Q1100935$1B5D500D-0FF6-4C8C-8CFB-891938F028E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ba1a18a12747bd61dff618a5e1b20bc7bc83e78","datavalue":{"value":{"entity-type":"item","numeric-id":1112626,"id":"Q1112626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ec98438f7d4349e11b023616a7c9083b2ad56e","datavalue":{"value":{"amount":"+0.7217679619789124","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":"Q1100935$23757244-1D48-45E0-9BBB-84CDF30F6A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f55ece465eb1a993ad1f73083202e0f11d3e5080","datavalue":{"value":{"entity-type":"item","numeric-id":293360,"id":"Q293360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f6f5d30728d08d149581f165589c483bf79e8f","datavalue":{"value":{"amount":"+0.7088282108306885","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":"Q1100935$22CD9509-1111-446D-8D7F-9522B416DC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbf4d55aaed8941fe36f840b281b0beb74dc4ae","datavalue":{"value":{"entity-type":"item","numeric-id":3720476,"id":"Q3720476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a762cf907890e0c8bd4ddd4879567a8fcc65fab","datavalue":{"value":{"amount":"+0.7077539563179016","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":"Q1100935$0A35EA4B-A45D-418C-8D1F-D7E6CD6BC673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915de9c98b27cfdfe7694b42b98ad621da086de9","datavalue":{"value":{"entity-type":"item","numeric-id":805236,"id":"Q805236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ac5040567018e462e93490d1e13208833c1e53","datavalue":{"value":{"amount":"+0.7061337828636169","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":"Q1100935$5780B2CC-E062-4D89-BA50-ACCEC56142D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding Boolean expressions into logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_Boolean_expressions_into_logic_programming"}}}}}