{"entities":{"Q5133965":{"pageid":7163537,"ns":120,"title":"Item:Q5133965","lastrevid":53869898,"modified":"2026-01-25T20:47:02Z","type":"item","id":"Q5133965","labels":{"en":{"language":"en","value":"Frege systems for quantified Boolean logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7273080"}},"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":"Q5133965$9AC7A0A1-788F-4378-B9B8-4AE9F68538C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64e1328ebe5475f0b6d9766b0d89f117f13cf211","datavalue":{"value":{"text":"Frege Systems for Quantified Boolean Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5133965$0D27615D-380F-468B-8D3B-DEF70273B433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fe204c5ca7b59f79a21e0eb643bf8f6c0a345ff","datavalue":{"value":"1494.03091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133965$1FFAAE49-D940-4A06-A219-AA629564DAEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6493bbf005430940ee9bf50b634c0757f0ab974","datavalue":{"value":"10.1145/3381881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133965$F3305B8C-6DC0-4F7D-9067-82501B2C0E9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133965$E391E473-7DD3-4398-9B96-835D64AB84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133965$490B427F-0C34-4E32-A1C5-D09E6677496B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133965$16B27042-D66A-4150-BA9E-874B0A4B75CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbd280028d852be0bb1791a3912dfc76b7046ce1","datavalue":{"value":{"entity-type":"item","numeric-id":466446,"id":"Q466446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133965$E0B476BB-D56B-4E6A-85CF-138ADE97CBF6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5133965$104CCED7-A813-4CB6-B24B-43BC59594B72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae01c82c4f1787553cf6599f22d008d84e0dd2f4","datavalue":{"value":{"time":"+2020-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5133965$679977DC-F852-418A-A77A-862DF87EF3D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"971ed77017e54cf95b4413b1d0c36c9fb99c6b6f","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:0a74f630-1bf6-4dfd-8a64-055cd9fde488","type":"string"},"datatype":"url"},"type":"statement","id":"Q5133965$43E17546-910F-4986-9514-C6392E747D67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133965$BCFD9228-E36F-4B6F-987A-25C1C89E50DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e7672ea93c383ff5cec633ac71283a8f5d83f56","datavalue":{"value":"7273080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133965$52018954-A3A8-424C-A231-B33F1154E1CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$868946E9-79A5-48BD-884D-A1684B83453A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"774196db58add4e9d0123d8850612b0f9a0187d9","datavalue":{"value":"QBF proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$C24E27FD-49F8-4B45-B3F0-E67CCE3BFBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$E641B658-FEF2-4536-A27F-128056613D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$702F8802-E2E3-4CCA-BACD-ED83424747D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$BB3197D9-361F-4578-AA51-A8DACA9C4C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6face949411ba012398a60ca5a40c69df448333","datavalue":{"value":"simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$B758A814-38A4-489F-A54A-039A294A72CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7fecd0563302884af049541e6f4b5d265346ac","datavalue":{"value":"strategy extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5133965$A69FF433-1C67-4AEF-8983-6ABBD2D32D86","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":"Q5133965$608CBBD3-C688-4198-8208-980D7E2C88E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"770ceef8214b9c31c301eba06bff86d3abe74437","datavalue":{"value":"W3014737894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133965$B48EAB0A-C0E7-435D-8B08-EA42AAB5CE87","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"10a967562223aa67e570e38a0e0f7458817392ba","datavalue":{"value":"Q118123548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5133965$77D0DB62-BEC5-4AE9-A8E6-B6C75F84628A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0d1aef480820a73cee630b1ae640337cbd88ec","datavalue":{"value":{"amount":"+0.901768922805786","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":"Q5133965$40693B8F-27AE-4B82-A5DD-1E91F8B419B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ab5ef6fa72a909bdd17532fa1ed494746ea37b","datavalue":{"value":{"entity-type":"item","numeric-id":4635870,"id":"Q4635870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f3a29be71dbe2f7d64e7fcc165beb300931d91","datavalue":{"value":{"amount":"+0.8808264136314392","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":"Q5133965$8F21E807-4C31-4E58-9BB8-F99F62130174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87fc175bc6119fcd72681396141d426bb85ed13a","datavalue":{"value":{"entity-type":"item","numeric-id":2272983,"id":"Q2272983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5645fff2ad29f47f9bc988e9ea897e11f96b37","datavalue":{"value":{"amount":"+0.8439068794250488","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":"Q5133965$34923B9D-768E-402E-B46A-9586C6CC33EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579c5174dbc904f2d81d8da1b65db3df333552d","datavalue":{"value":{"entity-type":"item","numeric-id":3304096,"id":"Q3304096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1f8a48633086d4ff533afab5af7d18caabf139","datavalue":{"value":{"amount":"+0.811045229434967","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":"Q5133965$D6289AB0-FEC3-46F7-BB1E-BB8FE9283914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5198cfa13681174cbc78a60ec4742ffc9b4b6a86","datavalue":{"value":{"entity-type":"item","numeric-id":5053061,"id":"Q5053061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e9a3c2e5b25298223deeb3972aaf5d39165e01","datavalue":{"value":{"amount":"+0.8103421330451965","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":"Q5133965$92AAE8BC-B85D-4C6E-86DA-4B8F5DAC4F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5133965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5133965"}}}}}