{"entities":{"Q3771609":{"pageid":5801515,"ns":120,"title":"Item:Q3771609","lastrevid":52075661,"modified":"2026-01-20T21:31:29Z","type":"item","id":"Q3771609","labels":{"en":{"language":"en","value":"On the efficiency of subsumption algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4030973"}},"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":"Q3771609$757B5F4E-6922-43F6-A469-7A6EF77A94C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50d6974cc1cc78ab3f4ff8a63effa9c20b7d7343","datavalue":{"value":{"text":"On the efficiency of subsumption algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3771609$3D16A883-7974-4AB8-8ADC-0D9D623132EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c9f91c32cc3b0250c4c856df61e6c42a565ee68","datavalue":{"value":"0633.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$592DC156-F2AE-4015-B87D-72FA836F3AA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b029c21b3593db4ce29988d6e1b356f419ae056","datavalue":{"value":"10.1145/3149.214118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$9D3833D5-1393-4891-827C-6434BC568A66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771609$08757ADA-5644-4AA6-A729-790740F0FF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771609$3906AF49-326D-4A42-B1DC-6A922A356014","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3771609$CEEFB10A-1020-4C2F-AEA3-0B7A9C1C6807","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3771609$84D1BEF5-65DA-42EC-BA11-4D17954F74BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$2C09DDA9-98E2-4279-80F3-01AA5F7F5057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$01FF2C4D-6DFA-453B-9C10-619454FAE986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$D9DE23DD-27ED-4352-8F0F-D3B954359C1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0ee0ab7db84eac4424e56fbb730b2085a786628","datavalue":{"value":"4030973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$8B19FF56-B5D1-444D-A385-105329D64EE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4638ca833015b666fc5bd104d549e3f566abcaf","datavalue":{"value":"unification complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771609$B4962BC3-BB99-4BAC-9322-F83F423E1154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f723d49aa5f6b7b0fe9e681e5cea24e726b7679","datavalue":{"value":"subsumption algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3771609$AEE37615-B792-40B7-90D5-9B83E6D12F57","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cde6fe63acc5b0c67f4e7e5ee180308f9de918e","datavalue":{"value":"Q59259788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$0D9A0019-DB4D-4439-BD06-137D166D453B","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":"Q3771609$9FB12080-911C-40A0-89ED-02A4F4B25AC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fe378f4536550467dbaefd376cf05265de8662e","datavalue":{"value":"https://doi.org/10.1145/3149.214118","type":"string"},"datatype":"url"},"type":"statement","id":"Q3771609$76699BF6-3D1C-4BDE-BF24-521A814BFAF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d88f7ce8e279ca019ef59d5de7e620c5dcbd163","datavalue":{"value":"W2112827998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$D87EA74B-5C16-4781-B7D0-D706CD2A746D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e34a24e984bcb62c8b4550a7b4d45588c0152b38","datavalue":{"value":"journals/jacm/GottlobL85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3771609$74CE72E7-B577-49F1-B917-47CDE92B66E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea2e54563a67c0b838dc220373a2e27f31e00d88","datavalue":{"value":{"entity-type":"item","numeric-id":5688907,"id":"Q5688907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2caf659646e06270662806a48e467ea10248702","datavalue":{"value":{"amount":"+0.8329240083694458","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":"Q3771609$7FF42DFA-47C4-4183-BF97-83A9A56F7B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8baac9cf4b25f83b437a34e7dc13af1409cc7089","datavalue":{"value":{"entity-type":"item","numeric-id":3716319,"id":"Q3716319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2bb6c2bebe64577b6d03323f13119c62c716e0","datavalue":{"value":{"amount":"+0.8284886479377747","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":"Q3771609$ED21D8B5-9E13-45E5-8EAB-CB90BDABFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab7282eff184d3656c381dcb9e61a342e2daaef","datavalue":{"value":{"entity-type":"item","numeric-id":3330550,"id":"Q3330550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa08a210380cb651cbbd40610a42d66a27e14648","datavalue":{"value":{"amount":"+0.8274273872375488","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":"Q3771609$683CA861-A8F6-4DE0-ACBB-29E4284014E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873945f1ca7166229b58232ef9971eebed6eee97","datavalue":{"value":{"entity-type":"item","numeric-id":5878906,"id":"Q5878906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f00218facb460397b1a8ba3df706b8027456854","datavalue":{"value":{"amount":"+0.8225462436676025","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":"Q3771609$8C1D8935-F6E7-4511-8E81-164F5DA6103C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef84c65fdd9ba266444320e8d22a4611afa2aac2","datavalue":{"value":{"entity-type":"item","numeric-id":3804226,"id":"Q3804226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d9403f21d23abfd87695fb70f243d0e79b76ee","datavalue":{"value":{"amount":"+0.8094300031661987","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":"Q3771609$916AEC80-6546-4D53-8208-AEB668C15177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3771609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3771609"}}}}}