{"entities":{"Q1659994":{"pageid":1670735,"ns":120,"title":"Item:Q1659994","lastrevid":71139753,"modified":"2026-04-13T19:44:59Z","type":"item","id":"Q1659994","labels":{"en":{"language":"en","value":"Computing and estimating the volume of the solution space of SMT(LA) constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6923893"}},"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":"Q1659994$24609EAA-F670-4F68-A56F-6C619BDDF1D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec5d7d2b1547d580a1221498800c781f5096ea8","datavalue":{"value":{"text":"Computing and estimating the volume of the solution space of SMT(LA) constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1659994$D271B840-A07B-4B3F-A3CE-8B4A086ADE48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"337023f377a239f4a46d2960da215670de5bca4e","datavalue":{"value":"1398.68491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$2F3BD3C4-0D1C-49EB-9171-A266F4115BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4da6409a092fdd055bbb2d13c72de3ddd1df5e1d","datavalue":{"value":{"entity-type":"item","numeric-id":1659992,"id":"Q1659992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$C341D4C5-CE9E-4C71-8EAC-B5AA1F0DD06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b88acf0bfa46feaad4f7fc85bddc739c2a861958","datavalue":{"value":{"entity-type":"item","numeric-id":1659993,"id":"Q1659993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$642948A0-9A7D-4D28-8190-7EA5BBE37F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a00148ea6f0fd76199f5f5f7a574069278bff82","datavalue":{"value":{"entity-type":"item","numeric-id":313967,"id":"Q313967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$63C39D27-5AD0-46C4-8CFF-F49243E5880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f074f856fc3634e0cc07cdd3551e1ea32a5214","datavalue":{"value":{"entity-type":"item","numeric-id":963406,"id":"Q963406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$6DAA93F5-3023-44E8-A70B-29E46A9E9AB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$C070DD0E-0473-49F4-BA5F-F5ACBE42711B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"017cbaca98e702a921417439b16789f06c940ade","datavalue":{"value":{"time":"+2018-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1659994$D2C0601E-BB2E-4E04-9563-5E29C9690922","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$B883F214-34B2-4B26-99F0-2F7D368ED69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$DA709398-704E-4EEA-8712-B61E29BFF32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$61342BD7-AC26-436F-A9F0-B62D0FB86232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7e363356c4564115039fa3bc192ceab97758911","datavalue":{"value":"6923893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$31A8CC41-E3E7-4092-AC56-6C34840CA5DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659994$86B11DFB-BD56-4D40-858C-978BE2EDAD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636bdf3f525b5fe71fb545e9c56180d79024158e","datavalue":{"value":"volume","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659994$EB07DBC9-F783-4684-939F-ED5E5A57A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659994$5158C5E6-A9C7-442F-BACE-5E5C93304A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8f9eb00f1f59aba58bc14adce059da0c3bb30f7","datavalue":{"value":"convex polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1659994$0386134B-C6D9-482B-B803-0BE86F0BE65F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$9C7B8957-1F68-4207-94A3-DA1D33BB0FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$B84854C3-5FFE-4E12-8E7D-7E78F14DB2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14003a50a44c20e712064b27ecfc39c8400dd7cd","datavalue":{"value":{"entity-type":"item","numeric-id":16824,"id":"Q16824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$D137EF2D-9452-4E55-B63F-68C009814448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$D22BF4F3-81A9-4B39-A077-07B8095338E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aadc3562b5d3cd99740f94e9d46e7f210998eaf","datavalue":{"value":{"entity-type":"item","numeric-id":33419,"id":"Q33419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$88D35002-55C5-481D-B6A1-5688DD6C4EF9","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":"Q1659994$20CD2E86-5DBE-4052-943B-3BEA6FE3E5BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b65fdcc9f63f041d400d3019bef6a6fc5462109","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1659994$FCF6EF5B-901B-49DC-857F-087717EF2E6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dcd49f925b99628f8ff7df559e1b98ca5041d86","datavalue":{"value":"W2554294741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$435EC91C-EF64-48F3-BA2E-038E3B8625E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b9a1036ccc303a0468bd4b0030a224aa31f23b","datavalue":{"value":{"entity-type":"item","numeric-id":5287980,"id":"Q5287980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$1E6EB64F-3241-4758-8756-EE117EC068AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5698e4968bd1e9858ae5dfa4402b1cfeb6f728dd","datavalue":{"value":{"entity-type":"item","numeric-id":3026740,"id":"Q3026740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$35BD71D8-698A-4109-AC3E-0D8EFB462EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f069dd464167b16af4bb1b0ba3ae349dea9472c","datavalue":{"value":{"entity-type":"item","numeric-id":4518985,"id":"Q4518985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$2C9672E3-359D-4F82-BD82-89A527CC46CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a077257af66006efa6ed9e7e735330fb29a59e","datavalue":{"value":{"entity-type":"item","numeric-id":1934313,"id":"Q1934313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$4CC4ACA4-E083-44A4-9311-310E944179E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f31039d1f4584605908fa4b93b0bf8526df523e","datavalue":{"value":{"entity-type":"item","numeric-id":395011,"id":"Q395011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$C7E669B2-3BFE-4872-8646-B94E3C3E8726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e287b03dbe62fe3988cf2468774fed7be938b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$C10746B7-2DBF-42B1-9528-5CE9D5FD7799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a535f5c7cd1a379547d41f9413adf48d41275057","datavalue":{"value":{"entity-type":"item","numeric-id":5194954,"id":"Q5194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$6BA37B17-1498-4832-8362-295A92038DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ff388f1854cc1183de8af7335052d365ad39ee","datavalue":{"value":{"entity-type":"item","numeric-id":3821581,"id":"Q3821581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$28E55F80-6DFC-4E71-8CEA-19DD3692366D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9f37619ae85d2bc615b4c2b40340f9b359a75f","datavalue":{"value":{"entity-type":"item","numeric-id":4635627,"id":"Q4635627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$82042E01-C298-4974-BC65-EA36D8AB87C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c128b9e21a0c3d6c0cb76d83edf248e6acc06d1","datavalue":{"value":{"entity-type":"item","numeric-id":3452552,"id":"Q3452552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$31F0913B-0DF0-45A3-A20F-D23A2EF25C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16b4d29c0ba31b1bc8e06218af428a76fc8ce67","datavalue":{"value":{"entity-type":"item","numeric-id":1210712,"id":"Q1210712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$864565EA-BAC0-481F-9205-FE2AD04B8F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50abac9b5648a878af003e7eaa6c6d610ba9983","datavalue":{"value":{"entity-type":"item","numeric-id":5621948,"id":"Q5621948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$843A4A2C-427E-49C1-A693-4DD3B28C8795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb312b46c318acf73004d738cd80d4eeb60615b","datavalue":{"value":{"entity-type":"item","numeric-id":4350884,"id":"Q4350884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$EB4957D6-14E1-4A70-AC80-F17E2D71AB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2869f83e32a384194c7b9249200cd292512eb142","datavalue":{"value":{"entity-type":"item","numeric-id":3034820,"id":"Q3034820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$6F599C89-7AA0-49E2-9EC2-1E2E0FE15F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb5847619a97b49e9bf4e01c9f8cc360afb7609","datavalue":{"value":{"entity-type":"item","numeric-id":3608845,"id":"Q3608845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$20FF6AB1-B790-4C1B-8952-D5FB1DDF481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c92aebe1288a33263b617b1b67a4323e7a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643564,"id":"Q2643564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$F6955FC2-BAF6-429F-BC0D-0F4D67F67672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731b1c6abe23e2e7b8bedf4d0f21380c2e369a42","datavalue":{"value":{"entity-type":"item","numeric-id":1968791,"id":"Q1968791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$6E9F7D7D-F289-48C6-98DC-7046178834AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e98ba9df4ae47864be8ede7d4ee43a2520cc8d6","datavalue":{"value":{"entity-type":"item","numeric-id":421722,"id":"Q421722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$EBFAB343-B76F-4BA4-B18D-DCF085BF5AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f907f0cc33b552c16ea8c1af8528c9d93ad45753","datavalue":{"value":{"entity-type":"item","numeric-id":5470722,"id":"Q5470722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$4F867818-5527-4829-B5D2-6786BBF505D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999384271aac9f431ed3e20ec08f28f9191fcd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2490265,"id":"Q2490265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$67E58CF4-36B6-437A-8208-BEA03BD2AF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e406d45ddc37598ff7a6dd419d5f52edb52f620c","datavalue":{"value":{"entity-type":"item","numeric-id":5191119,"id":"Q5191119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$056E9DA3-80B0-4009-85B3-FB98C71C0C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$7BD95B23-15A0-4010-AC09-AE2D6C19CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c947af6a6b9ef332b084e45fe6778f7890034d85","datavalue":{"value":{"entity-type":"item","numeric-id":3345655,"id":"Q3345655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$C6846A1B-C2E1-44B3-A399-CA867937FD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$9D15C863-53F0-4217-8A3F-6CD7C871A164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"469f7648c7d936cbffcff01f3f28aa5476d8200a","datavalue":{"value":{"entity-type":"item","numeric-id":2345986,"id":"Q2345986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1659994$955A559B-1784-4086-9B80-45967215A30A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe30d2625185f7f3b5ac8df6be9c9e373b71e71","datavalue":{"value":"10.1016/J.TCS.2016.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1659994$1523F583-9E9E-4322-B5D3-9245E63FB577","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b96adcf227aa1c2cb5bd527526f7f23fcc8e0b","datavalue":{"value":{"entity-type":"item","numeric-id":2633263,"id":"Q2633263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb74a9f4895eea0f2d81168fd5ce23091973fb00","datavalue":{"value":{"amount":"+0.8690032958984375","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":"Q1659994$FC80CC00-967E-41CA-A1D2-FE22F2E4DBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd3772806d2841fd15a7b3d34368f579fd6884a","datavalue":{"value":{"entity-type":"item","numeric-id":5191119,"id":"Q5191119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852295b70b54b2e23b4ef8dc25a81d3abfe116b9","datavalue":{"value":{"amount":"+0.8673803806304932","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":"Q1659994$0B6CB93D-4246-4D32-B132-E4B6033B577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b6a5486976c74e63954ea0bbb480ce32b05151","datavalue":{"value":{"entity-type":"item","numeric-id":2345986,"id":"Q2345986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722abfac5aaa4b01ff9c651ebbec3dff5221048a","datavalue":{"value":{"amount":"+0.8471788763999939","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":"Q1659994$4671DA37-DA2B-46FA-BEE0-B87815CD8CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc0de09a2afea9a1626d45e744ea455012c8813","datavalue":{"value":{"entity-type":"item","numeric-id":5194954,"id":"Q5194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebc5eb17e8de8db1fedaa3d1e5e64c0f251979b","datavalue":{"value":{"amount":"+0.7665551900863647","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":"Q1659994$53DC72E6-E80C-4AB8-A7B6-FFA6E587537E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de1db8002b6915e68a9f0bc0f41875e6e57a8367","datavalue":{"value":{"entity-type":"item","numeric-id":1683928,"id":"Q1683928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6980bf185f182ea841261720e110b9c7f1cbdec1","datavalue":{"value":{"amount":"+0.7652182579040527","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":"Q1659994$D92221F6-9D00-4BFB-B580-7BBD37C1FA8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing and estimating the volume of the solution space of SMT(LA) constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_and_estimating_the_volume_of_the_solution_space_of_SMT(LA)_constraints"}}}}}