{"entities":{"Q6070807":{"pageid":13205115,"ns":120,"title":"Item:Q6070807","lastrevid":58663344,"modified":"2026-04-06T05:50:48Z","type":"item","id":"Q6070807","labels":{"en":{"language":"en","value":"Coinduction in uniform: foundations for corecursive proof search with Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770447"}},"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":"Q6070807$83748446-A932-42E4-AECB-7D2C18A3EE03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6c47c64bd12e706865510b971417e9a00bf6e51","datavalue":{"value":{"text":"Coinduction in uniform: foundations for corecursive proof search with Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6070807$7C1CBDDA-1317-49F1-9167-55B22AA6D620","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af482250a9f1fb99976a76b5f7b4926566619631","datavalue":{"value":"1524.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070807$481ED02A-7150-467C-8A29-D8B0F61AA44F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9c319d7310625ffdb197cf392aea4b5d9c029a7","datavalue":{"value":"10.1007/978-3-030-17184-1_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070807$E6988231-896A-48E5-8C0A-73D6FA1211D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c4579b04445885ccce3d16d5b0f09ea564b82d","datavalue":{"value":{"entity-type":"item","numeric-id":2233466,"id":"Q2233466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070807$C772C102-922A-47D5-80E0-0C3AF2AE61E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070807$9BD13137-5882-4512-9DE8-70AA7D781177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0e9a614d0a09604bad86ad8596b5b9752793a5","datavalue":{"value":{"entity-type":"item","numeric-id":437283,"id":"Q437283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070807$63AE78B8-25DB-4526-8B9B-925FAB2F8225","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070807$73D4BBF5-4FE5-4650-BB67-631FE628EE73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6070807$5AE81A34-ED83-45B5-A032-D6D55961D38B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3168507007faf4e877cc9b11805456a29e1ac30f","datavalue":{"value":"https://arxiv.org/abs/1811.07644","type":"string"},"datatype":"url"},"type":"statement","id":"Q6070807$E707AF2E-2692-4607-BEE3-7ED34064D86E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070807$FA248060-7616-4C4B-9477-D2F2FA5DDA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070807$DC617C7D-E1D8-475A-A695-7B23A08EE32E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51fc9af5adffd25b0795621cdb25946763c4ea98","datavalue":{"value":"7770447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6070807$D9EC36DA-A2B1-4395-AF4A-048F5BD4A9C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11661a45c9ce707d777af7d718cf471c14098ee","datavalue":{"value":"Horn clause logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$CD50AAF7-C5C9-4A0C-BE58-4A4E849F98BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$3A1063A0-7FCC-4199-A9CE-AA7F528059AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec05f82bc196ef9a82c1b3d81599110a79af121","datavalue":{"value":"uniform proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$274D3FA9-6861-4158-8B87-22B6DB766C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$E5BCA753-DC41-40C7-A9CC-3312BE702031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$39C03351-D8B5-462D-B111-3016E31C1853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$4DB150CB-D097-4E91-BF59-0965094951DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95e8c3817745a57fd2291fad9a7400bcc6b7ab47","datavalue":{"value":"L\u00f6b modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6070807$182A57AF-97CA-486A-9E67-4227180875D6","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":"Q6070807$879F3DC3-BE4F-42F5-A724-AD239891A4D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80ba482f3b8b2e6a8dea86e1987f2602c46466ab","datavalue":{"value":{"entity-type":"item","numeric-id":3384904,"id":"Q3384904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc307efc3f0ed08e17053b1ebd6767f39721d1f7","datavalue":{"value":{"amount":"+0.8640665411949158","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":"Q6070807$A149D363-2D11-42EC-8955-73328987BD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f3bd1ff5d06e991c5abb002d27b63e47835d85","datavalue":{"value":{"entity-type":"item","numeric-id":4992896,"id":"Q4992896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518f62c0a0df3aa8d34151a78eee677b6c08f123","datavalue":{"value":{"amount":"+0.8137198090553284","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":"Q6070807$5A6D526F-6597-4FC1-8F59-098D9212DF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435529a4ac6409e0e1d0fe0d3f50ed2f63e3f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":2409746,"id":"Q2409746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b8441ef807a8f4d20da1088b2a542b1b93f120","datavalue":{"value":{"amount":"+0.7728288769721985","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":"Q6070807$F022CB47-F619-4776-9FE4-BEF974895F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d848fd39fcd180d6dd51093a428c6d8a947b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2888482,"id":"Q2888482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bc82237c334a6c85bc1ec29ab1ba0f8b384150","datavalue":{"value":{"amount":"+0.7612959146499634","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":"Q6070807$6F936BAF-F9AA-4DAF-925B-90B470D73AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c823de346a2b7d736753e957a1d38d0ebc577db","datavalue":{"value":{"entity-type":"item","numeric-id":2231698,"id":"Q2231698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48a2aebc25436d463388a52ed04577d6e3455ff","datavalue":{"value":{"amount":"+0.7561574578285217","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":"Q6070807$AB609C19-2730-4D1D-8070-D48F0817D961","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6070807$9C489D38-870A-40F5-B341-04996151EF92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6070807","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6070807"}}}}}