{"entities":{"Q3608397":{"pageid":5638303,"ns":120,"title":"Item:Q3608397","lastrevid":50591282,"modified":"2026-01-14T12:15:38Z","type":"item","id":"Q3608397","labels":{"en":{"language":"en","value":"Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523378"}},"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":"Q3608397$57F28639-D54C-4FC7-9A73-AF3E37E0C009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16da2426457a99990afaa592658b7738c282c59f","datavalue":{"value":{"text":"Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608397$40BCE759-3E40-4B99-A668-43FA02234E9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fb1672c97cda1a340615306a3e0f0b3dc3968b5","datavalue":{"value":"1179.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$555BE1B1-18AF-4613-B843-2861A9A35F68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9b8d736efc0b9c62666132bb92f855b5267b4b4","datavalue":{"value":"10.1007/978-3-540-74915-8_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$65D047A3-184A-4FF3-A7A0-E6B14316FE6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52c91827c5a18fc450af4cec489c4fb0e8f46e0","datavalue":{"value":{"entity-type":"item","numeric-id":320191,"id":"Q320191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608397$A609CBB6-AF89-49DF-8A6E-F518AA932B4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608397$42324C95-F94D-4AA3-A145-8F7060E352BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e03d4b2ec538fbc0e4998d600e67e2b2cfa008b2","datavalue":{"value":{"time":"+2009-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608397$47823D18-77BB-4595-9E7B-02F91FD7AA62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$B942FEC8-87E7-4D68-B804-98CCA65B6C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$34694D51-422A-4466-8BA9-89503C4F6289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$676A7C6D-B2BD-4125-B0C7-8167F3AE1AEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36a55f1ee21a8c28f93dc0910797b3636229ed13","datavalue":{"value":"5523378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$84A714D5-30A3-4371-8D5E-1E44AD3EB3B6","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":"Q3608397$CFA50307-DFF5-4618-8D83-C4B721939F55","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39318523a73117cb6d10b5c186e03a64df44c8cf","datavalue":{"value":"Q57006634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$B2DBACE9-6F38-42AA-98A4-2D016BC18477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc389a0d5a884c2acd44dc0165b6c664fc4283a7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74915-8_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608397$6EF1D935-F932-46F9-B52E-8B9D1D8FA03E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b34bbd797e420e8c1cc247f11e19d701f5e774c","datavalue":{"value":"W1497029596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$EA3E4332-1D2D-4504-9E53-FA80048BC778","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"208f68726f46fcc2a1e298fb1e23bd343603a34b","datavalue":{"value":"conf/csl/Abramsky07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608397$59457C11-0B94-4D6A-9E00-90979BA3A164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55203fcd74e785c186c3c2250ede860930375bac","datavalue":{"value":{"entity-type":"item","numeric-id":2864146,"id":"Q2864146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6c95d78cf6d4203af8203316f3e9439cc728da","datavalue":{"value":{"amount":"+0.8338273167610168","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":"Q3608397$C7D2A8F7-FB5F-4140-8F13-A8AD96261B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60bf751e395d926d74ffc045606458c25142d1fe","datavalue":{"value":{"entity-type":"item","numeric-id":3540183,"id":"Q3540183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62af49a00f5c2530b46fdd9bc50cce8f661e2d12","datavalue":{"value":{"amount":"+0.7854041457176208","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":"Q3608397$C99F9AF6-9B02-41A1-8B31-EBD0B877B65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d178ace3e6ef69bc9f0dd36da63f4015ecfbe11","datavalue":{"value":{"entity-type":"item","numeric-id":4222900,"id":"Q4222900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa85a385bb681295e1748afc9d2d9c988723fac6","datavalue":{"value":{"amount":"+0.7770175337791443","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":"Q3608397$7D973003-1BF5-40D9-85D3-B3E4D1BA090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaac62a126f95f2c67d0de92bb73a5099713bc1","datavalue":{"value":{"entity-type":"item","numeric-id":3444645,"id":"Q3444645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2564fa307b7c30bd40d0378cb0fe62aeeddfe4","datavalue":{"value":{"amount":"+0.7723075151443481","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":"Q3608397$4E8F6BFF-FBE6-4307-980F-F8E23B8DF10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ddc8abad5e81415982be2b35e060a86ccb9d53","datavalue":{"value":{"entity-type":"item","numeric-id":4302352,"id":"Q4302352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4ce5155e8937df185de52987934a03d04609a5","datavalue":{"value":{"amount":"+0.7697723507881165","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":"Q3608397$478FEABE-4012-48D9-AC33-C2D8EC0131CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608397"}}}}}