{"entities":{"Q2946524":{"pageid":2957244,"ns":120,"title":"Item:Q2946524","lastrevid":52346951,"modified":"2026-01-22T10:10:05Z","type":"item","id":"Q2946524","labels":{"en":{"language":"en","value":"Parametric quantified SAT solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483037"}},"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":"Q2946524$BA792B0B-D339-405F-BC10-D65616E54B6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e93c4e6a46f21beb7785a49b899b277d2b353ea","datavalue":{"value":{"text":"Parametric quantified SAT solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946524$A32558B9-181E-4CF9-9DF7-08A45D349677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bda158e7b4b19e164c19a1e240991e67424d33f0","datavalue":{"value":"1321.68322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$C7D3A442-8B19-4AFC-9A3D-B7E667FDAA3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41fffa8a0fd9798cce10ce5eb5a8447f765ed8ba","datavalue":{"value":"10.1145/1837934.1837954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$D9957343-74D7-4FCA-A556-83C0FE3EBBAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88fef90536607302e7947311cb2b9ecb62ed5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":349839,"id":"Q349839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$0CFE17BE-14DD-4CD7-8F67-B1117892470A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85f268e7a282741f314bdd25824b1da5ec049a0b","datavalue":{"value":{"entity-type":"item","numeric-id":2946523,"id":"Q2946523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$3E0B4162-3A89-4F9A-86EB-8612CDF716C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0627918a820712b57fc003a6279552c2901b3984","datavalue":{"value":{"entity-type":"item","numeric-id":2946514,"id":"Q2946514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$82C2A7EC-2C1D-4B6E-9535-EB258A8967E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946524$D2B4CFED-53D3-4BE4-BF17-2D2C833573BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$DDF3EF8C-F0FA-4595-B23E-03699D72D36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$41DC54D6-37E9-47A0-9F34-7830C0B69D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$380BEE98-CD7B-4EE1-B7AC-9B83B7252641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$ED902CD4-1B62-46AB-AEE9-B78241AAFE91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"18b093e337ba9fb53484e480fb8de3689f43ad85","datavalue":{"value":"6483037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$D60A1CCA-55AD-474C-AD52-2E9470B5EBB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9094ce482499179d6c47d21905fefcd35853c1c2","datavalue":{"value":"QSAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946524$1E0A24C1-6894-453E-8398-4F413EA14834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946524$71A7737E-9318-4008-8727-0FDD5BCF6682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946524$CB0BA7BD-AFDD-4118-BEBF-98F5F162288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946524$6FDCA60F-3ADB-4740-99FE-5617BFF64373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946524$123C49E3-0583-4125-9ED7-B5785070CCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946524$784D9351-6DA7-416A-8AA0-958D1346C661","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c62f005e0d35aadf822b20988439b932534d85d7","datavalue":{"value":{"entity-type":"item","numeric-id":13537,"id":"Q13537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$89071784-6885-463C-8B79-CDBACA389724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a137fb25e74da1b07aa816482b8818e8333262c","datavalue":{"value":{"entity-type":"item","numeric-id":20619,"id":"Q20619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$D160D62F-D457-4BC8-ACEC-857E8091DE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$9FEE3464-CC14-4E56-AF87-BDE70566A3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc913e0e8afa2a727cce06bc306808aa43cd2398","datavalue":{"value":{"entity-type":"item","numeric-id":25035,"id":"Q25035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$CDC1784C-BF9A-4563-88EA-3BEA0A1BB6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640fa00ce25bdfedb72161b7b45e926df2f54846","datavalue":{"value":{"entity-type":"item","numeric-id":23476,"id":"Q23476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$4D488D81-BF98-4BD3-8331-AE083387952B","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":"Q2946524$10B39480-6325-41BD-97D9-687CA3DBAA8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"034f2722ba7ae7a63b925e2a77f90f7710abd056","datavalue":{"value":"https://doi.org/10.1145/1837934.1837954","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946524$78E043CE-DE1F-4753-BC5E-7EE2B176B9B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95b3553b96d7744340342f092ba51ed35b806e88","datavalue":{"value":"W1986146359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946524$C3BE6FE2-09CC-421F-A838-13F506441416","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c1db053fe92570c971b1ba481545db2482a8b8","datavalue":{"value":{"entity-type":"item","numeric-id":4760223,"id":"Q4760223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$51AA851A-6D04-4421-A36C-024F35F4CC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba9bfd9f55676e99385d37f2efc0d80711a7725","datavalue":{"value":{"entity-type":"item","numeric-id":1287626,"id":"Q1287626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$DF9235CA-C98D-4F05-AA75-984B4CD87BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1f7d31248d39e9e76a8c6540245eea0766829","datavalue":{"value":{"entity-type":"item","numeric-id":3995740,"id":"Q3995740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$08F565CF-5584-42CC-B5C4-12A4174E2199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc2c892447701e92f3db7fece41578e4eb92784","datavalue":{"value":{"entity-type":"item","numeric-id":557066,"id":"Q557066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$28A4A2C8-032F-4B1A-8EB8-F8E331CBF4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22852c5bec0bd3c31e06bd491db084732a50d443","datavalue":{"value":{"entity-type":"item","numeric-id":1008571,"id":"Q1008571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$2BCEF359-72C5-474A-BF2A-8EEEE312EA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87aab659949f093ebd4b56fa2b785a2b15d51b43","datavalue":{"value":{"entity-type":"item","numeric-id":2457418,"id":"Q2457418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$20788D16-2223-4A10-B983-A01BA295C9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e0ddf62bf709318a786ae490c1eba55c1af1cc","datavalue":{"value":{"entity-type":"item","numeric-id":941787,"id":"Q941787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$50716F1A-73B9-4923-AA3B-9E2670614236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13edf0fb0c4dd0ad2d7e6f5cb55d20f5e6a37e1","datavalue":{"value":{"entity-type":"item","numeric-id":2473502,"id":"Q2473502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$E4A35493-F8BC-4EC6-9172-D39501E00D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0b2f0741d9357cfbc31c08db3d98f49460848a","datavalue":{"value":{"entity-type":"item","numeric-id":4449111,"id":"Q4449111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$58D4E835-9E75-4E18-8CB8-B85CD6E4AB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a33819bd972a831c49be8519bb9dd1b56d0e97","datavalue":{"value":{"entity-type":"item","numeric-id":1237959,"id":"Q1237959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$9FB48448-9985-4843-B261-70E74986DAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0b4bec51dcef0d907e9db2d5bf046499d0c2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4072558,"id":"Q4072558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$E09E1871-744C-4300-B796-4A19367FFAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2251b8aa0f74fdf25630e513a15b8d41377061","datavalue":{"value":{"entity-type":"item","numeric-id":1222909,"id":"Q1222909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$B6468517-1FD2-428F-9F63-574BBB1FA7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91224e248bd571bf5162caf8423e2aec81e7091e","datavalue":{"value":{"entity-type":"item","numeric-id":1233674,"id":"Q1233674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$B2172F3A-F455-48DA-9A32-20977160B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d85bf330191b011c1ffe194bd1939561d2f547c","datavalue":{"value":{"entity-type":"item","numeric-id":933636,"id":"Q933636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$2ABD0060-66DF-4F7E-B721-3AE133FE73BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e07c65b918b25cf8171680f63e51ff33861cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":4849745,"id":"Q4849745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$30B57BEC-C335-460C-A2FF-B80B5F1366FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e26296110a0aa0b87499623cc5ee10c1d2fc86c","datavalue":{"value":{"entity-type":"item","numeric-id":4656084,"id":"Q4656084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$17733F4A-BF3F-4A1F-AF9C-3B62E6C60914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ae04e054cbda55e208e7d05d4b084fcfb04a8b","datavalue":{"value":{"entity-type":"item","numeric-id":886192,"id":"Q886192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$E8765E6D-77C5-48E2-A75B-DB0FA4FBCB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83731ebce248859c838c00eb3af7e8dc57394c1","datavalue":{"value":{"entity-type":"item","numeric-id":3945260,"id":"Q3945260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946524$E846B2FB-5D98-4BA4-98D2-0B44132296C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d444806d7e55f2a2f094a1fc45c2b6167734e5f9","datavalue":{"value":{"amount":"+0.7539638876914978","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":"Q2946524$162BBE02-F754-412F-A488-75C759862E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa6fea1ad30be8589c1ade9090962929a80cd17","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2920cde2e8dd40385beff59bc21fbcacccce8e8f","datavalue":{"value":{"amount":"+0.7305318713188171","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":"Q2946524$2299C4C7-FE60-4774-8BFE-FD848691DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1873bcf4baaad4f3ba40b4f3dff2604970e28f","datavalue":{"value":{"entity-type":"item","numeric-id":2879137,"id":"Q2879137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e41dc84877cce781c72d3306281fe26bc76aec","datavalue":{"value":{"amount":"+0.7269827127456665","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":"Q2946524$0398534C-E274-4277-953B-08BBC81004AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c06ba8733644d9d5f5dfc9094b9e5f9adb4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3511123,"id":"Q3511123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47704efea565d0ea7522cb098a1c319c118dbcbb","datavalue":{"value":{"amount":"+0.7128919959068298","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":"Q2946524$823B5864-D461-4DB1-BA38-C111D79BA564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9390b4ccc6dc9f08d9ed8cd2d7f1eed1c352e9ee","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f72f3982e41b8081b7d112d21a33b5ec433af054","datavalue":{"value":{"amount":"+0.7092177271842957","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":"Q2946524$064D1303-EA42-4D9C-A0EA-A145198DE081","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946524"}}}}}