{"entities":{"Q2441712":{"pageid":2452455,"ns":120,"title":"Item:Q2441712","lastrevid":73403253,"modified":"2026-04-14T15:48:02Z","type":"item","id":"Q2441712","labels":{"en":{"language":"en","value":"Unified QBF certification and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275246"}},"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":"Q2441712$2ACC1351-391A-43A1-B392-2A77138510C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab82330356037bd9a1f74143726a675484ec0623","datavalue":{"value":{"text":"Unified QBF certification and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441712$9D5CD131-8EE9-4294-B70F-DF3AAB37DD76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b3e95c4afff8deb4d5695a94b0e2a30aa89cc42","datavalue":{"value":"1284.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$06502FD9-E3EE-4BD7-8D84-EE934674D7DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7495e672eeead3ba3821a3bba0a517b273c0b76","datavalue":{"value":{"entity-type":"item","numeric-id":2435312,"id":"Q2435312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$0571F0B5-D452-41D4-9C38-22A4D6E6DB6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d108f2cc75f223419614b9663d463900e39edb7c","datavalue":{"value":{"entity-type":"item","numeric-id":2435314,"id":"Q2435314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$F1518959-D2A2-4613-9B22-AAC6660CDC34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$9E840640-C399-4200-AD44-051AAB56885C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441712$79DAA454-03D1-4B6A-8B80-25FA6E6C20C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$4DCA4D41-A909-4A8B-8933-AD8E3361D5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$63980F7D-5A9E-410E-B01E-DB9ECE1F883F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$95DA1FB4-EE6C-4353-89C4-F1EE6C8D76EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$3CFB94CE-57E9-4691-A5C5-8BE1A3593F4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd9f8b3d036a0766aa3790e82918c6716dc41035","datavalue":{"value":"6275246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$F976D60C-E97E-4D80-A3E3-B78D2BC7C507","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ba157f08e57fb7c0ecbe7638bd334592c200f","datavalue":{"value":"quantified Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441712$F717A56D-8A59-4FF8-B413-F899620EA379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441712$3CA658C2-7D4C-461C-9B6F-0C327641EB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0faecc1a2babb6e46c6c3c8f447214a06a09b1","datavalue":{"value":"Skolem function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441712$F28C43C9-F3E8-405E-B534-20DAE4A0E5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d38da914e6147c3eed6f6645a109c289aee15646","datavalue":{"value":"Herbrand function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441712$87E3CA09-9CDF-4D49-B9D7-112500A7DEB4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$D3110334-696A-4A16-A4D6-8EB200E51A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ed66b4500809c164ad61ba9724c3cf07f26c2a82","datavalue":{"value":{"entity-type":"item","numeric-id":24833,"id":"Q24833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$CEB13B19-3C66-43B5-B991-8845D7160BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$B322018F-9CE4-4D80-A864-6262B33C41F0","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":"Q2441712$347F2D55-301B-4356-8924-56286E6564E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6b2832cfffb63f8d39c00239adc3808743e958b","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0152-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441712$D15A318A-BDCF-4BB4-B444-60E9AEC352EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2da49427024157680f454da995fbdfbaf3451e1","datavalue":{"value":"W2070447189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$7C6C41B1-A0BB-4C60-A076-D77C54AFAC08","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$62E26AD5-274D-4EF1-8007-552534FB9B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0870e13c4a5dd2b1ec6ccf0eb8fddafbaa000d2","datavalue":{"value":{"entity-type":"item","numeric-id":5713732,"id":"Q5713732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$3CD263EB-7C45-430A-A0A5-20F0F909C97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$B0652AF9-8E9D-4DA1-8271-A128BE490C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$6613CEA5-5F75-43FC-B1C8-31B9D7D061C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81867e3920d63292ec40a953a0141bb46dbbec3","datavalue":{"value":{"entity-type":"item","numeric-id":3612467,"id":"Q3612467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$A4E6DCD6-D859-4B8E-B9CA-69745E9F3D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$1365A411-05EA-4482-8C6A-A77F6A52A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"241a84e6f61ddf1a88ab9e24d91b0723d27a5775","datavalue":{"value":{"entity-type":"item","numeric-id":3400890,"id":"Q3400890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$69F2AC45-160F-4BF4-BDF0-7EF00C07AB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$D6C249A2-0BCC-45B6-8B54-DF8C134FB110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee217a6efb56bcafe9bc6e8f2cfa457703ce050","datavalue":{"value":{"entity-type":"item","numeric-id":4252522,"id":"Q4252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$25E9068C-843D-466E-8242-9A6EE12FAA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4195608d550bad4835ecef06e7efab3f8dbf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612477,"id":"Q3612477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441712$022F4BA9-28FE-4AEC-B9E4-CC5C720B9071","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b01e57bdc720fd629fc7f2206a677e5745002dfc","datavalue":{"value":"10.1007/S10703-012-0152-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441712$C826BF0F-EFEF-407F-8174-58D33FD29D30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb71671c9b23153c05e1af3b2325e326fa2d8ccd","datavalue":{"value":{"entity-type":"item","numeric-id":3601811,"id":"Q3601811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08e95bfebba95b50082a28f6b214eaf5578e1ac","datavalue":{"value":{"amount":"+0.8160702586174011","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":"Q2441712$0D8FE4B7-0018-4661-BE22-F5C8528185F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c474c8d33c18727ed34f8cbe15168f5734e275f6","datavalue":{"value":{"amount":"+0.807526707649231","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":"Q2441712$E457303A-CB27-4407-A00F-2C76A8677339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297d7ca756a0fe9edb01e6c2d45d7d8ced12f185","datavalue":{"value":{"entity-type":"item","numeric-id":3088005,"id":"Q3088005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfe8acd8cae85bb58ee51f77d478f990be9de37","datavalue":{"value":{"amount":"+0.8041876554489136","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":"Q2441712$2717D8AF-FBAC-474A-9F41-407F9E5252EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d2b9ef491bc5e77e7d9e057e6bb8bffa065cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1656583,"id":"Q1656583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e6226a02083b13b222e17862e64a14313001b3","datavalue":{"value":{"amount":"+0.7963007688522339","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":"Q2441712$A636ECA3-4D8F-4D5E-B5CB-123F7B21B84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9662436ddba986dbfe8fb88fc949db265075c573","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe7affecd31486f2b0fc3cce8f4a35448925bbf","datavalue":{"value":{"amount":"+0.7929301261901855","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":"Q2441712$289452FB-AD88-4902-A85E-68F5FAE14B2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unified QBF certification and its applications","badges":[]}}}}}