{"entities":{"Q4664255":{"pageid":6693836,"ns":120,"title":"Item:Q4664255","lastrevid":48451960,"modified":"2026-01-04T20:46:24Z","type":"item","id":"Q4664255","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2152687"}},"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":"Q4664255$BC413A99-5767-4D5C-8E70-A2B9D24A1B54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce10b5385abce117ba7a02b0380ca33fc19d0b0c","datavalue":{"value":"1061.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664255$CF2F62B1-BCF1-48F7-B49F-4804018B6399","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664255$40398AAF-D779-4FE5-8345-ACA6B15D6327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4664255$7EAF94B9-EF62-447D-865C-E86A151FE8A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69cf2a81b6ae1673a040d25ae05c9f6a7d99e6cc","datavalue":{"value":{"time":"+2005-04-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":"Q4664255$7BFAE7EB-66D7-44E2-9FB0-D88A3AE3FBED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664255$E3CF6FD1-B997-47F2-8436-6F42188B9B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664255$C5287A2E-8847-4301-9D02-8DF0B19F89F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664255$FE5C5BC0-ED1B-40BE-8A8F-38A30195BD1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"532dd2c4cb832ea8ce1039b3997f613e87400059","datavalue":{"value":"2152687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4664255$701BB776-F364-4D3A-A221-A2DEA837A2B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664255$EB1CB55B-D07C-41B4-974B-BE9888438BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ccd65f1cb1dcf45903c5feca0e0a4244f0b053f","datavalue":{"value":"sequent calculus proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664255$010F6FFD-0337-4213-8871-0A741E87A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75637ec6f37d47464126ac7e599c838418400b24","datavalue":{"value":"Forum presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664255$7D914DBB-CD12-4F86-9DA6-2009FB3DDBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217d01e2dec5cf7cfbd9ba36624a9aab6c039cfc","datavalue":{"value":"object-level encodings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664255$AE271EE0-FFAE-43DE-B1DC-8EE7A0B172C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c76ee1e57c08a73ee11d4690baa6d6ad8b1041c1","datavalue":{"value":"object-level proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4664255$7865E783-8B84-413F-BD8D-EF07122ABB0B","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":"Q4664255$3828E8D7-0430-437E-85E0-6DA65D3E53A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849ca4d34ba2746777b50e2b5e166f71dfac9364","datavalue":{"value":{"amount":"+0.8949053883552551","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":"Q4664255$2B545AE4-627E-484E-9F1E-C365CD3D3D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69356e012e953de2c430e764951cce1236b86900","datavalue":{"value":{"amount":"+0.8918439149856567","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":"Q4664255$73BF4EC8-7B73-41E6-8769-2F00642371C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36f2d049bb53351bcbe68439abbd2cfa2395ec2","datavalue":{"value":{"amount":"+0.8643320202827454","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":"Q4664255$F3C5E7E7-33AC-4365-AF27-F5937C17D631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da41e92f06b0f33fd3e03e3fdb03e6c775298960","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e052d53907808a0299e0b44e4f038175e4a9f7","datavalue":{"value":{"amount":"+0.8588637113571167","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":"Q4664255$878B66C7-A1DB-44E2-9A7B-9337A3BEB355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71280657ab8daca175bf34f8ca4df2811aac603f","datavalue":{"value":{"entity-type":"item","numeric-id":4263841,"id":"Q4263841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b75c06375322d706bd35f5bc102dad257b79be2","datavalue":{"value":{"amount":"+0.8431869745254517","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":"Q4664255$5DDB0A7F-BE22-46DE-BB2B-145275A624AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4664255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4664255"}}}}}