{"entities":{"Q3787472":{"pageid":5817378,"ns":120,"title":"Item:Q3787472","lastrevid":81123344,"modified":"2026-05-06T17:46:35Z","type":"item","id":"Q3787472","labels":{"en":{"language":"en","value":"Efficient unification of quantified terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050982"}},"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":"Q3787472$10109D36-183D-4E7A-97C9-908B2D5F220E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2927d80e66948eb8895d7fd39d94588328264277","datavalue":{"value":{"text":"Efficient unification of quantified terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787472$F8AB05BC-88C7-44DA-9EF6-A223359EA47E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f4b5f484e84cf4eff0c0b4235f7534abdb1177b","datavalue":{"value":"0644.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$775A8B63-627A-4072-B1AC-1C0ECBCDF17B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91254ffb6f348eea7d6dea2b5b4d473cbe24059a","datavalue":{"value":"10.1016/0743-1066(88)90015-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$D76948BA-06C4-4184-81DE-B6A712700047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aab6dedcb6e4efb99030d8bd26448927a29ad86","datavalue":{"value":{"entity-type":"item","numeric-id":911772,"id":"Q911772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787472$26E6274B-B495-49D3-9F15-7CC546FC8BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d2de5877895937d2af49704410633dcf0bea75","datavalue":{"value":{"entity-type":"item","numeric-id":736793,"id":"Q736793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787472$9F945A85-659A-4333-8704-8EF5B199A257","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787472$9FBB89C4-20B3-4B6C-8EC0-FED11871A326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3787472$98B2355B-BE17-4A17-801E-B7596FC34BB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$E9CC456E-EB5F-4D95-AD21-6407ED7A8CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$A9CAF47C-8CB9-457C-B679-CB75BF8A90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$E05AC9CC-A9E7-42F0-AF78-400C2EAA3620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$AAC529DD-52BF-42C8-B049-5DD4E92B5BBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54bd984a5ab87a30208b10bbc85bdcdcd1878dae","datavalue":{"value":"4050982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$E24CBDAD-7B21-4365-97C3-9A2664EB135D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18dd5382b5020fba45901de214ee809d318879c2","datavalue":{"value":"Conventional logic-programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787472$7B0053C5-391B-476C-9225-25A0CBC0A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787472$5700BB71-ED91-44E2-BD19-8709E8078446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8931a2fdf2a7f86db09f7c305f6bba7db3322a25","datavalue":{"value":"quantified terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787472$015E0D9B-5197-474F-B9EA-3666C7E6BD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787472$E3778969-3F5E-4574-8B7E-0A7449E012F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b856d5561ad33d889c6d591b654ef49243a8d00","datavalue":{"value":"efficient computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787472$067762D1-0C0F-49A9-8A8E-BDDBAC4DC9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787472$E9D7477D-6016-4154-883D-69A632C7F584","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":"Q3787472$F6185BC0-9722-481A-A88E-F82A08B0817A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e91b3440fd8faca6532c511babc34d734876776","datavalue":{"value":"https://doi.org/10.1016/0743-1066(88)90015-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787472$7DA00C03-BA3F-4832-995A-AE0F48F12266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ab4a9925ac01c2cd3b6a4722db55777ce4d4c73","datavalue":{"value":"W2060111668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787472$3F674EF4-A64B-4588-8DF1-2D4713DE32A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d05bfdfcf8c95188bd6d35285d9394cf28891cd","datavalue":{"value":{"entity-type":"item","numeric-id":3780488,"id":"Q3780488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3f3601fb390d601cd267393988c0a192444d06","datavalue":{"value":{"amount":"+0.8791095614433289","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":"Q3787472$DF8A83C8-1B4C-4407-BC16-0DF27BDAAB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65928f65caa0ef16d0e71df79e3b482da1ee238a","datavalue":{"value":{"entity-type":"item","numeric-id":911773,"id":"Q911773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160b650b262190cb0706933e0aa81e741d66f50c","datavalue":{"value":{"amount":"+0.8097773790359497","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":"Q3787472$6D35360F-0897-4B6E-BF4F-1A5D24CB23D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf1bab982c15339270d4ab049304d1e2ff7e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":1105360,"id":"Q1105360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c018d18c472e6fec68494376714782e95b54b2","datavalue":{"value":{"amount":"+0.7865511775016785","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":"Q3787472$0CF34D62-FBB4-4C55-96A7-EC59A4C3610F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ebe046153d602edbcd525f0f697729c1eb75a9","datavalue":{"value":{"entity-type":"item","numeric-id":3991208,"id":"Q3991208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"629f4f18f209c6c0a873de7589104b12ece3bdba","datavalue":{"value":{"amount":"+0.7755734324455261","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":"Q3787472$16624106-5409-437B-AEA9-2D70F62A65F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9966a761a8a3fbf248404da98dff71df970614e","datavalue":{"value":{"entity-type":"item","numeric-id":4260706,"id":"Q4260706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297f8674d31b98647c955dfd435c7eda8ebbe4d5","datavalue":{"value":{"amount":"+0.7745765447616577","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":"Q3787472$28ACACC9-A40A-468B-92C7-F24876A39F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient unification of quantified terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_unification_of_quantified_terms"}}}}}