{"entities":{"Q3612467":{"pageid":5642373,"ns":120,"title":"Item:Q3612467","lastrevid":50601080,"modified":"2026-01-14T12:59:08Z","type":"item","id":"Q3612467","labels":{"en":{"language":"en","value":"A First Step Towards a Unified Proof Checker for QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527209"}},"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":"Q3612467$F397C3ED-8BF2-4D3C-8FCF-9BCD658D01B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01791adb1f0b5920488a6b4adb057245f4991bdd","datavalue":{"value":{"text":"A First Step Towards a Unified Proof Checker for QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612467$CBCC3051-2367-46DF-A899-10D6CA3B1928","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4ed3217eb6706223e243d7af46ce60028ed3571","datavalue":{"value":"1214.68334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612467$1FD75DC6-3CED-4C29-8B4A-54BC6EBE292B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08f30a0fb8a805883d5ed6f15f7f380d6fd40053","datavalue":{"value":"10.1007/978-3-540-72788-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612467$C6CBE67F-7917-4437-B85F-DCA6EA626DBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbe2a40c65b7812f7238e1bb93138982186b954","datavalue":{"value":{"entity-type":"item","numeric-id":2845507,"id":"Q2845507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$A168D180-9120-43BB-B108-4E5DF01BB872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$B756DC41-10E6-439D-B5B4-33434834862E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$DA8DED86-C51E-420C-8EB5-ED42C23CA0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$94EB4C43-92C2-44DD-8AC5-7E5922A9E01E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada47f60430f7f43a9dd2d117ab9ea6a873d3dba","datavalue":{"value":{"entity-type":"item","numeric-id":1799085,"id":"Q1799085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$0AF7BC92-A49A-43CB-B31F-F17CCCA5C81C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$21AB54DC-CD90-439A-BC0B-94730E880469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612467$D01AAAFF-B856-4857-8B6F-2A18C0CB3439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612467$973381BC-9E2D-4CEA-A694-33F76BE458A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612467$B444E05B-CC52-43CF-9971-73A0611A16FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f3f895b3b267b90f99d7f3e874696651ab30590","datavalue":{"value":"5527209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612467$3B754308-CB21-4D68-ABB6-F50F0501C110","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87973a7a71e3ffa05ce5b5aeabcd6b005b85607e","datavalue":{"value":{"entity-type":"item","numeric-id":21561,"id":"Q21561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612467$7D7ABB54-80C9-4D14-A1D9-87A7E8DAE6FA","rank":"normal"},{"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":"Q3612467$49732347-55FB-4515-9873-66FE5A6E6D1B","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":"Q3612467$8E4ECB5D-8A6B-4DCE-92B6-3DAC2A45114F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62e2edbfd11487bf3d1d8a4a5e01285ac67dd7c2","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612467$0BAAE441-4355-494C-99C2-C919AFB7F3A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbd55ebc3e9dd0e82166d43399ab7465b130dcdf","datavalue":{"value":"W2127982853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612467$3A9845E2-A208-4C2A-915D-E7FE3179FEB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"158f5dbceda60edaf127b1a6d8e93d2411f83997","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0e6d29372640d4f25fc21ad0bf9154cc4df93d7","datavalue":{"value":{"amount":"+0.823060154914856","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":"Q3612467$7F12FEB1-067A-4C2A-8E17-7DAE2FAFAF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316f41812037143c55f949ca95fe8a48b96dfdb4","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc310e71e73abf9af47a16c0e99fe5a644867c1","datavalue":{"value":{"amount":"+0.8071947693824768","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":"Q3612467$86C26A08-8485-458F-A693-7FCA9496CC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43254538d6785bc3a84f90cb4178aa2702f6a7e1","datavalue":{"value":{"amount":"+0.7916477918624878","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":"Q3612467$AB7BF813-B0EA-4FEC-8445-6D11940F4B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0547585d8f8a34dc989b699b2faf640176d826c3","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45165db482778d317025e40befbbd344324e5d7d","datavalue":{"value":{"amount":"+0.7860939502716064","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":"Q3612467$27490205-5757-459D-8A6D-F7602E2B8DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc744dc920322661d5a7b49c98993392dd0097a","datavalue":{"value":{"amount":"+0.7799172401428223","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":"Q3612467$2B16DF7C-181D-4ADA-B468-92E6F0E28AC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612467","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612467"}}}}}