{"entities":{"Q5225849":{"pageid":7255418,"ns":120,"title":"Item:Q5225849","lastrevid":53489951,"modified":"2026-01-25T01:13:58Z","type":"item","id":"Q5225849","labels":{"en":{"language":"en","value":"Preface for the special issue of Proof, Structure, and Computation 2014"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7086662"}},"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":"Q5225849$F38B500B-F82F-4424-9577-8408575BE998","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1383c9a8651e205efcb3adf659c847163183a4c0","datavalue":{"value":{"text":"Preface for the special issue of Proof, Structure, and Computation 2014","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5225849$6ADC08A0-28D7-4FED-BE89-42C63AF7EB37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c1931da9ce731c67a29c9c140c0b32a7b04524e","datavalue":{"value":"1444.00043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$A30F29C1-74BD-484C-95D0-A7BC9D01623D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65843a761d7cd8faa1ccfb53922c8c359453598b","datavalue":{"value":{"time":"+2019-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5225849$DC8C544B-CC2E-4D63-BB73-986D1BF8ED7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$2B64030A-17C8-441D-AB05-ADFAEABECA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$29863CBE-B4A9-47F4-9D42-A0DF215BE35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$FD39722D-31D4-4206-A73F-C9B709C73C94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56b2e35d988a9aa1fb6094942993d46070280a69","datavalue":{"value":"7086662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$68F77F9D-F083-4FFF-9623-3D3A68AD4DB8","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":"Q5225849$95472593-3E41-4D00-B91F-B1176921A849","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cad880fcd2c9e90d8d781cab916db936e9a000f","datavalue":{"value":"https://doi.org/10.1093/logcom/exw007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5225849$A5AC14BE-EB28-42BF-B051-F73CF3B4A0F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aab796e98b763677406fd8996d89c1d4dbc3099","datavalue":{"value":"W2439490573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$4F4AC87F-081E-498B-AD5E-17CD5F2BC8EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4506f256aee56b3f7abdea2c82408abb1550576","datavalue":{"value":"10.1093/LOGCOM/EXW007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5225849$D4305984-31C2-4542-B17E-DA53C91D5345","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5225849$EA6ACCE7-F8A5-46F2-B078-7E766DED078D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe9f3f71bd544adc566dd130c6700398e9bf76e","datavalue":{"value":{"entity-type":"item","numeric-id":2987774,"id":"Q2987774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc31aa90d0dd5f39fa15d2fbba90020c1b31b301","datavalue":{"value":{"amount":"+0.7547062635421753","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":"Q5225849$5A31AD48-B5BB-4FF3-A549-B4D0AD6FF591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71ec077ffa8a42515b5fad7db5715c57e0b8381d","datavalue":{"value":{"entity-type":"item","numeric-id":4593232,"id":"Q4593232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac25206ed69e488c2b5baefb0c2593b9611a9d7","datavalue":{"value":{"amount":"+0.7532316446304321","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":"Q5225849$6B0635F8-8776-4897-BF29-017F64BC76ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"969a4af62312a7669387809d34ee14f62bdb4ac6","datavalue":{"value":{"entity-type":"item","numeric-id":5896839,"id":"Q5896839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59608a0adabdda6a3a86a665424812ca96381a3f","datavalue":{"value":{"amount":"+0.7521345019340515","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":"Q5225849$661909BA-1050-4A3B-9A13-4F213E0E4E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d15483ac680b451539ebeb909141b50ef27cef6","datavalue":{"value":{"entity-type":"item","numeric-id":5108217,"id":"Q5108217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41f50719dfc4a5379bac8d04b8e16ad9d2bae72","datavalue":{"value":{"amount":"+0.7458489537239075","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":"Q5225849$F51B7E9A-97C4-44C8-9F6E-77948DA9E4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af96d9acec9bd240bacd4fa774c8ad75ef576d52","datavalue":{"value":{"entity-type":"item","numeric-id":2362488,"id":"Q2362488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a5713920de328cd5a7cc009f4b82b8cdc667a1","datavalue":{"value":{"amount":"+0.7404443621635437","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":"Q5225849$7CF7A8E4-CE73-4D7C-B5F7-07E9BB4DC229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5225849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5225849"}}}}}