{"entities":{"Q6059221":{"pageid":13193376,"ns":120,"title":"Item:Q6059221","lastrevid":39675107,"modified":"2024-12-30T17:03:26Z","type":"item","id":"Q6059221","labels":{"en":{"language":"en","value":"Mechanical certification of \\(\\mathrm{FOL_{ID}}\\) cyclic proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7759321"}},"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":"Q6059221$A138C713-8F34-4E40-83F2-C8F4564953D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8acba5771da8afbfe41c8d607a30bbbca4f70600","datavalue":{"value":{"text":"Mechanical certification of \\(\\mathrm{FOL_{ID}}\\) cyclic proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6059221$28452D0D-627B-4C5B-8D0A-3E1A5B83A541","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":"Q6059221$71CE9A2E-51F4-479B-81F0-110B13E741D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$ED6AEF1A-8E7C-435B-B88F-7FE93DBD1304","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7998a4700485ee1c911c6376847a8ba8998b55e1","datavalue":{"value":{"time":"+2023-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6059221$DE885A5B-4936-454D-851C-71B836DBA448","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$917C6A85-F83B-4CAA-AA6A-529C59B14D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$165C6201-1CA3-4575-9DFB-717201E2D605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"280a65d907047d5094769e55a4a308fa043f2982","datavalue":{"value":"68-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$639E8347-1BE0-4CA6-B9B6-76D228E9FA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$3B2E70A3-96A2-465C-A05B-6661DF2E4B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e695aa503a4f1a1d77eb6964571f7f9ffb0b229","datavalue":{"value":"7759321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$95C2F29E-A8B3-4405-AF42-CA1A99B19501","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6059221$2C4D1A46-19B8-4341-9995-5B2C05D86A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65a577b12804dc4fdd826b58d599f781485ef630","datavalue":{"value":"cyclic induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6059221$3FA71194-F7F9-41DC-8568-00D97E2A4DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ce577e58822f8b8f2b7492070c2d0c34e787ff","datavalue":{"value":"first-order logic with inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6059221$81F0C6F6-2A95-44A8-9722-E32FA441D275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7d9ae6af1171f89a4761ca0bb9fe01f64f1cba5","datavalue":{"value":"proof certification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6059221$C66C923D-3BDB-41F2-BAC1-6A6B2A118236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6059221$01C79EEF-E988-4E54-8411-83608226BFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0dc46d5da6e0aeacc3bd3fc116122a8d980ec5","datavalue":{"value":"E-\\textsc{Cyclist}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6059221$0FD1354B-FDAD-46CB-930F-1BB1E744CB2C","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":"Q6059221$74596294-8D87-4D82-9E41-46BBAAABFFA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b197a49a5922b85849461de02f6f7ea26d7d8d08","datavalue":{"value":"https://doi.org/10.1007/s10472-023-09832-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q6059221$D909AE99-D5EF-49EA-B1F5-33B0ABA47A65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55ef401f3bf5999c35b42a895b27db756030031d","datavalue":{"value":"W4321092854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$CD24BD8C-220A-4106-862B-012C1CE4600C","rank":"normal"}],"P223":[{"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":"Q6059221$549BC8D3-1B83-4E6B-B261-B13100A31B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$1B6192A8-D962-4A64-AE31-16984DA65BE6","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":"Q6059221$56BB14E1-AF8A-41C2-B3CC-563EF96E7662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f720cb627bae524e3ec2a99edca697bff4402578","datavalue":{"value":{"entity-type":"item","numeric-id":3384901,"id":"Q3384901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$0CEED77F-D745-4F10-B3B4-C2DB419E4C2E","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":"Q6059221$318B0C7E-6471-42D0-9BEA-BE0772F89F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad338cbe03072f079f6f32c6dcb9b4f74e45afd8","datavalue":{"value":{"entity-type":"item","numeric-id":5227521,"id":"Q5227521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$0A056DB9-47DF-47D4-AD3A-7744718778A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$B3791968-BCC5-41F7-BDCE-A986A482998E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72133fa5aed061c3346d2e39c4b23aff7a408f87","datavalue":{"value":{"entity-type":"item","numeric-id":3617751,"id":"Q3617751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$69E6446E-0C0A-4743-8613-3465A6AB950C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e4e2410286144971b97051d7d004c86e1a2c3d","datavalue":{"value":{"entity-type":"item","numeric-id":4809499,"id":"Q4809499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$8BD55C35-D29E-4992-AB13-871057C98D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$AA209845-1EBB-4B42-ADED-5D61C04233F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$C7F7A2AC-6B62-446C-BC48-11A19175082C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6059221$070ED99F-0F23-4B71-A8BE-20F7F62FEDE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c500da456d37263be59fa25eb427fc704f91752d","datavalue":{"value":"10.1007/S10472-023-09832-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6059221$C8075AD6-9EF9-4A1B-8421-2E1790D14DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6059221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6059221"}}}}}