{"entities":{"Q3384901":{"pageid":3395604,"ns":120,"title":"Item:Q3384901","lastrevid":55395622,"modified":"2026-02-17T15:29:21Z","type":"item","id":"Q3384901","labels":{"en":{"language":"en","value":"Validating back-links of \\(\\mathrm{FOL_{ID}}\\) cyclic pre-proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447753"}},"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":"Q3384901$825DC306-EF0F-4DF2-916C-6A037E556FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$099A79E1-878A-42D9-83FF-90B645CA2B65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384901$FC356F03-785F-4F66-A886-EA49F702267E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c1f59dfbd6ab9a8f0d225d27944e566ab3946a4","datavalue":{"value":"https://arxiv.org/abs/1810.07374","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384901$B526CD7F-1201-40C3-B463-1C260C3A3323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"cadbc1f30507db89fed6d6daf903b94c99baf331","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLC2018.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384901$BEA2CA2B-D173-47B1-95DB-B5234BB8EE8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384901$ACE248DD-A4B7-45E1-98BD-9AAD8A4B1CDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"405bc69c285af7bbd55bcfc73187ee37cdfe27bd","datavalue":{"value":"7447753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384901$8294D780-C03B-4204-B400-DC65D268306C","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":"Q3384901$3A6BBA02-E21A-4621-8D36-B9B79EFB11B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a14e6778540357b49491ea854acf0c020c59f50d","datavalue":{"value":{"entity-type":"item","numeric-id":1798782,"id":"Q1798782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$DCA7C1FC-EFF0-4619-83B6-64CE6B84DB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acdb95959b57456fca08b117071e35f64c5d31a6","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$485FC6EE-0208-4481-8A18-B1B137C1687D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$470CBB80-2E95-4550-B59A-E5298E1F7F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$404E28A7-08B4-41A5-8A02-D9A1B18FE4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87cdc12a3cd3ac1702d992e9c4c0e73b8ee5f99f","datavalue":{"value":{"entity-type":"item","numeric-id":1694475,"id":"Q1694475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$A2D7E74D-43C2-404E-B896-635371ADF262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9319be7fc7904fa7ef367f23ce4736ad7b185b9a","datavalue":{"value":{"entity-type":"item","numeric-id":507366,"id":"Q507366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384901$88FD8E24-2121-4F81-89AA-60BEC3853F4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67569a8d36820a4f5d562613552274ade326408","datavalue":{"value":{"entity-type":"item","numeric-id":5479270,"id":"Q5479270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529795ecffff9afa55d745799124b12912bd7347","datavalue":{"value":{"amount":"+0.7316402196884155","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":"Q3384901$0931C3AC-24C4-418C-95F7-1E29BA32CE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d80961d71c1ad11c1e28f93e1d2b7ee37629be","datavalue":{"value":{"entity-type":"item","numeric-id":1694475,"id":"Q1694475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c99df85d0807f5dae836a432b212aafc84ad16f","datavalue":{"value":{"amount":"+0.7274941802024841","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":"Q3384901$609ED8FD-8D20-4C0A-8DEF-B925BDACE33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e699bbefc9664a9a1df1e940d3cf8f4583562bf6","datavalue":{"value":{"entity-type":"item","numeric-id":5079760,"id":"Q5079760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3431ea9194442eaac3dc8a7b647a102768267a74","datavalue":{"value":{"amount":"+0.6962049603462219","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":"Q3384901$20434FF4-D49C-49A9-84E8-A5AE6A9D3B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8025756437ab0862486ee2737530d691f3c74922","datavalue":{"value":{"entity-type":"item","numeric-id":5222971,"id":"Q5222971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb05ff41ad32243c767adc4d40cdc288ce0a1f82","datavalue":{"value":{"amount":"+0.6908692121505737","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":"Q3384901$F9FF92E0-B399-479F-BB1A-E5882F17585A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4acd4389ae9e81c79b41623f1c508d68604a69d","datavalue":{"value":{"entity-type":"item","numeric-id":6160752,"id":"Q6160752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723cb99e431cc05a33e565c135be867de3e7cd1e","datavalue":{"value":{"amount":"+0.6840867400169373","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":"Q3384901$6E907050-5D3D-4DC2-BF57-D3801DD9C974","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384901"}}}}}