{"entities":{"Q2908520":{"pageid":2919245,"ns":120,"title":"Item:Q2908520","lastrevid":58055139,"modified":"2026-04-03T15:18:40Z","type":"item","id":"Q2908520","labels":{"en":{"language":"en","value":"Optimization in SMT with \\(\\mathcal{LA}(\\mathbb Q)\\) cost functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076929"}},"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":"Q2908520$DEA19E26-C926-4346-8F25-C6E4BCCA6A21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea89fabab87629df664e49d1ead93c8130b890ec","datavalue":{"value":{"text":"Optimization in SMT with ${\\mathcal LA}$ (\u211a) Cost Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908520$029CABE0-5529-4786-B815-1D629CBF3DD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a703ecd247f6420801efeff6923f6b35944ad92d","datavalue":{"value":"1358.68264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908520$D679B145-13B4-42E5-A396-0D3498F2FF6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bdb3d4796cce142a413be7b79db77c29003e80b","datavalue":{"value":"10.1007/978-3-642-31365-3_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908520$E395731F-DC83-44AC-AB89-94CEAF847613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908520$6192E986-3270-4B6D-B51E-744B01383088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a052d89ca7d2958eec5b1d3fed06fdd927bf3ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2908519,"id":"Q2908519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908520$49DCEFAC-3D5D-4836-A356-DE19C37EE587","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908520$0C6060FB-B2DB-4DFA-88B6-7EB981AFDDE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908520$18FD1C52-65F1-4A77-861B-E2634CFBCFC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d24f630d11ab722341849c505da076a071bcfb4","datavalue":{"value":"https://arxiv.org/abs/1202.1409","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908520$08B9D8D7-FB8C-4AED-A218-CC79A9BF9403","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908520$E38EB925-9405-44F1-A3AC-0C5D077CFA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908520$7A94CD73-433D-4960-B0A4-33A122AAB66E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb1d4a43aec74e1db014d33353f1a427ff206cf0","datavalue":{"value":"6076929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908520$8E5F89B7-B3A4-45F8-A7D7-6385F1125A14","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":"Q2908520$5BBDB27F-F4E0-4DA7-A91C-8C6A5B8F4ED7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41849a8efd2386b3b8836228b071bb2814dc4012","datavalue":{"value":"W1824587283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908520$95F8F921-594A-413A-9303-D252733C467E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16839c25443af1f0ca407fedc6c659d44618ee57","datavalue":{"value":{"entity-type":"item","numeric-id":2946768,"id":"Q2946768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c143a96dbf8d7d9fe647d0317fef1f21e2da0d","datavalue":{"value":{"amount":"+0.9364795088768004","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":"Q2908520$0D379935-6A51-4F3D-AD60-20F78C17FE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f72eaf64504f2ccdb990ca833e860e59816256","datavalue":{"value":{"entity-type":"item","numeric-id":5194955,"id":"Q5194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2e939857c448082aaadd082b3c868e0d4d4e514","datavalue":{"value":{"amount":"+0.8272695541381836","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":"Q2908520$ECB36D22-A092-4846-8CED-50C3937B7CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072374a55d8e9c6ee2ce35950a1d3908bb64157c","datavalue":{"value":{"entity-type":"item","numeric-id":3557072,"id":"Q3557072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154cc860435242bb0a6fa0a10546bf5e721e6a4c","datavalue":{"value":{"amount":"+0.8112286925315857","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":"Q2908520$CF4C1D44-08FB-44B8-AF13-A772701D663F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9106f5e86e101ad9763bfa8efced152930103c0","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683d3d12f1b3e1fd8b8768412a97f77924ddd255","datavalue":{"value":{"amount":"+0.7966603636741638","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":"Q2908520$321C350D-A2F4-4374-8D75-B5CC9EA026DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7971bb0d53dd6682991734c0c56234b675e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6564a6200508e75f8dc2cbfd503ed8a28f770f","datavalue":{"value":{"amount":"+0.7855294346809387","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":"Q2908520$89F90E1E-8887-4288-9F4F-F9F453FA980D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908520","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908520"}}}}}