{"entities":{"Q3550854":{"pageid":5580758,"ns":120,"title":"Item:Q3550854","lastrevid":90284756,"modified":"2026-06-04T19:46:30Z","type":"item","id":"Q3550854","labels":{"en":{"language":"en","value":"A SAT-based algorithm for context matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5689744"}},"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":"Q3550854$0B76FE31-EE7E-44EA-830B-9526B98B2601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0c273d9e3b46b2a343a9f7aff41ea42e1f893fc","datavalue":{"value":{"text":"A SAT-Based Algorithm for Context Matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550854$80AFC891-EDFF-43A8-9045-E3C13C50ECDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5df70ee6eff71baf9f39647c72d6a860f94e42da","datavalue":{"value":"1279.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550854$51C7F9C1-3EE9-4230-B170-64D8B51A3614","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6bfb298773b8ee9eec8947e591fe53eda02ddb0","datavalue":{"value":"10.1007/3-540-44958-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550854$4063E74D-CA2D-4C14-9BC8-48C5751DA6F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc877f64cb44cc69b5ac13fc23829467df08fb11","datavalue":{"value":{"entity-type":"item","numeric-id":814584,"id":"Q814584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550854$F5DAF557-3A17-4304-9A3C-CBA8AB89DC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c09876bf75c3b7865133e887c2e56f364183b348","datavalue":{"value":{"entity-type":"item","numeric-id":1202668,"id":"Q1202668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550854$84BB8C90-4FBA-48A8-A919-17ECEA50871F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53872013ea29b4cd7e6f796257c94f1bb4dabcf1","datavalue":{"value":{"entity-type":"item","numeric-id":814583,"id":"Q814583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550854$7F0591A1-B1FA-4B91-A1DD-6C7F9660624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd62a3f8789138a752730b6fbae3abf0bababcd","datavalue":{"value":{"entity-type":"item","numeric-id":3367208,"id":"Q3367208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550854$001C3C43-B35B-4046-B755-AF4273ED2B44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf877dc5758b1326e328533ad7f7bcc6dce87859","datavalue":{"value":{"entity-type":"item","numeric-id":3550850,"id":"Q3550850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550854$B6C2F91B-2550-4059-9844-026BDAB7A936","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"047b8a66cb6c7465c83875030ed14b22522d5bfb","datavalue":{"value":{"time":"+2010-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3550854$C6D01ADB-2EC8-4D03-9240-8AC50836E262","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6048ba68dc7db60549033dc7201284bc37fcc38","datavalue":{"value":"http://eprints.biblio.unitn.it/350/1/005.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550854$BFB49408-2356-4E35-8775-E0EB61ECA75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550854$CF45E086-0061-4210-8875-C75F37DDCCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550854$6AEBD5E9-1A0E-49DC-8A4C-6FDD7C7AC0DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"035e2b61ac2180e414976743e32ab51ff7aa37a8","datavalue":{"value":"5689744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550854$7327770E-959D-4D99-9D2E-C5CDD6B87FF4","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":"Q3550854$1EAAC2E7-E7F7-49DA-9875-9B26BA0AA41D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89a69d4393dc77fe22192efa170ddb6066de256a","datavalue":{"value":"W1533233245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550854$EBD164CF-A089-440F-9014-C49810FB3B3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e122b112f0d413d1f81e8954b65db61704d7e5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3608802,"id":"Q3608802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009b537440141ffa49893c65d44a92bc2514a2ca","datavalue":{"value":{"amount":"+0.7587226629257202","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":"Q3550854$B4FE1751-EC35-4432-BBE1-DA90086B5959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79746ad722747e24dd22b8e27057915b45871274","datavalue":{"value":{"entity-type":"item","numeric-id":3540748,"id":"Q3540748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56949902ec649e06ec097003e3c8d730762e289","datavalue":{"value":{"amount":"+0.6668469309806824","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":"Q3550854$5BFEEDA7-8AEF-4396-BEF1-29E774D719E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3411da419523a915b40bfff3c0229ef938f2940f","datavalue":{"value":{"entity-type":"item","numeric-id":4414006,"id":"Q4414006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6267274bf395db9d4f973bd27eaa5ef4b263b87a","datavalue":{"value":{"amount":"+0.6632742881774902","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":"Q3550854$B16ECC88-C112-451E-9361-86C4F8243E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6438e1595d0854cfb37007ed788a0a3962cc2f6","datavalue":{"value":{"entity-type":"item","numeric-id":4260088,"id":"Q4260088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6169dd1a2b08c866c2f3869db0564fafc5d8c54e","datavalue":{"value":{"amount":"+0.6626444458961487","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":"Q3550854$75409502-6AD3-48AD-AA29-48694D31995F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae31bd4bb95fcd8761ff168cb10c3af7e845f96","datavalue":{"value":{"entity-type":"item","numeric-id":3426553,"id":"Q3426553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e7eaf36de67662c168e1bd237d3d265695d66b","datavalue":{"value":{"amount":"+0.6606321930885315","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":"Q3550854$8769BEA8-9BB8-461C-8FA9-F4D02D5CA80F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A SAT-based algorithm for context matching","badges":[]}}}}}