{"entities":{"Q2987044":{"pageid":2997768,"ns":120,"title":"Item:Q2987044","lastrevid":85305002,"modified":"2026-06-03T06:49:06Z","type":"item","id":"Q2987044","labels":{"en":{"language":"en","value":"Boolean unification with predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718412"}},"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":"Q2987044$36AF1AD3-4148-4758-91A0-0051EAEF30D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"166f17b2229609982d6a842c835e9e5148083bb6","datavalue":{"value":{"text":"Boolean unification with predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2987044$567C3EE2-DFD5-443F-94B0-3E3706FD2B8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db9fb42e1ac465fb93d957a38a6773100e61effc","datavalue":{"value":"1407.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$6E2E1F43-4832-4393-9955-8C002001579D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf042ccdd3d88e646828927fa1d80a52569f4db","datavalue":{"value":{"entity-type":"item","numeric-id":1622972,"id":"Q1622972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987044$F7696770-95D3-4F96-9146-D39E0C403BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987044$56B5BD0D-9594-4711-B6B8-C379356C1854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987044$31EA5427-0ECD-45B2-8CC7-34EC82B69C5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2987044$0A15CEF2-4AB9-4542-BAA1-812E014880B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77871bdf15b785b442ba92027f9d889d58b4386f","datavalue":{"value":"https://semanticscholar.org/paper/bf393c3cec5f80d277060acaaaf8d5a20ea56f8d","type":"string"},"datatype":"url"},"type":"statement","id":"Q2987044$63C9ADED-62EC-41AD-92FF-EAE21CDBEDAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$0CD43FF9-C1C9-4BA1-91BA-1A5762374136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$B3D2173A-44F4-4B89-91A9-4B21CB8EA051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$711EED09-CEB9-4CC3-BD41-F94D57040AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$2A139251-67A4-438B-BD31-1785B8ADC51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$B2DFBECF-A688-4640-9643-2A5E3C745CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$44E318F2-A5F6-4551-A3BF-A34D324AA28F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e90567480dd42c8763a2c5ea9ac75ad054e0dbb7","datavalue":{"value":"6718412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$FF774B97-8E44-451A-83FA-0618F20758E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca4a0762e153982478d57ea9094bd4a5cee70c64","datavalue":{"value":"Boolean unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987044$60C7FE27-0379-4F5A-A446-E71A5B22FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987044$A342BEFB-9667-43D6-AD4D-173B0E1658D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987044$49C8419A-5F5D-4B0D-891E-88E1F1529890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987044$25EC3F04-2EA8-4A5C-BD58-2C3EEF71B55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2987044$4D0A05AA-6C2C-4A89-8FA9-A00DE4BA5C52","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":"Q2987044$E26697D4-694B-4A18-A690-BB2444761478","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"acda1bc100a8f0c3cf3ab55248c824a228835aca","datavalue":{"value":"W2307339663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$29E8BD5B-1313-4466-86C0-2E87EE8C97C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6647f191fb2c0305582749729c6d6147ce2738da","datavalue":{"value":"10.1093/LOGCOM/EXV059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2987044$9F0D8B12-DB2A-4D9E-932B-B19AB99F82A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2987044$31863185-E85A-418B-8524-5A42872DDCDB","rank":"normal"}],"P1643":[{"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":"770977e9b040e5e644a638c9d7819acbc2f21e0d","datavalue":{"value":{"amount":"+0.808662474155426","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":"Q2987044$88367316-7DCE-4710-960D-3AE7A959E53B","rank":"normal"},{"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":"7babe08a29bfbcaffd8f82ae392ee87f377a544d","datavalue":{"value":{"amount":"+0.7745396494865417","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":"Q2987044$4B685BA2-2ED6-4677-B3A1-B433982DD4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634d48e1d20c147b5312230d994509156fa027f8","datavalue":{"value":{"entity-type":"item","numeric-id":1687567,"id":"Q1687567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f0c532574b4fbfc72891b61bbb4551d3bc9c72","datavalue":{"value":{"amount":"+0.7706887722015381","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":"Q2987044$708C1FFA-3185-4994-BAEC-E494D0405D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f007a07ed807fcdb7e509c5c3ed234cefdf0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2277244,"id":"Q2277244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed71dfa6e477577c2967c7960c908dc7c250c37","datavalue":{"value":{"amount":"+0.7519574761390686","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":"Q2987044$0953A387-6B5A-4B43-9C0B-A3F54401EB04","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":"011148cc3be47050f58bb5699a66ec900a77958a","datavalue":{"value":{"amount":"+0.7467607855796814","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":"Q2987044$25F9A94D-E7A8-40F1-AC24-B0EF66EA54AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean unification with predicates","badges":[]}}}}}