{"entities":{"Q4957191":{"pageid":6986773,"ns":120,"title":"Item:Q4957191","lastrevid":37481862,"modified":"2024-07-31T08:04:05Z","type":"item","id":"Q4957191","labels":{"en":{"language":"en","value":"Solving Horn Clauses on Inductive Data Types Without Induction \u2013 ERRATUM"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7390845"}},"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":"Q4957191$ABC3362F-71D3-456C-93CC-5633747A04D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce756582d4f56d337df87886e8b8d250f210ee0a","datavalue":{"value":{"text":"Solving Horn Clauses on Inductive Data Types Without Induction \u2013 ERRATUM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4957191$37766131-8398-45DF-B33C-4BF6E94D632F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"711bbd357555d8bf34c8eb44016ee59ffef2ad82","datavalue":{"value":"1472.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$A3643AE7-A9DE-48F3-A277-4AC2B1496919","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2d50e9c46e2a0e7d2894703e755e407a11eabe1","datavalue":{"value":"10.1017/S147106841900005X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$EB133E48-2EAF-4B53-99B2-FD8C69F04899","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957191$748DE712-9471-4BEA-887E-CE4BE54B3021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957191$5D4E0389-E031-4B2C-84D2-608D7EC1A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957191$94667B0E-658D-41BC-9D98-01E11C4C733D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957191$4EB50D3E-FA04-4CFF-A5A3-0FE5C056D915","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957191$788617EB-DC2E-4280-8FAB-EC5A2537D4E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3659634a54505b21af2691a50b5a61bfaa047bf","datavalue":{"value":{"time":"+2021-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4957191$A44308DB-8E63-4E9C-BCB0-37B8BC90B393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$2D9C93C7-2F03-4B20-A50F-FF91F9ACFFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$3E25CABC-4825-477A-AA28-F9DE1CD69C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$D461580A-B850-4EF2-9376-7CFA885B6C3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2143cb5b5da1d5ca19ef799cdbe902bf7ab3129","datavalue":{"value":"7390845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$31A957DE-4489-46D7-8687-05888A8E8DC9","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":"Q4957191$D8A8075C-CCC3-4BF1-AB9F-47046C81E336","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b579707a4306c9f6e0814fff83d8fe01dadba181","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4957191$286A6C8D-3180-4D6A-B7A3-361372EEE848","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4dda35de9717bde9d3afa4e65198dbc84b98cb1a","datavalue":{"value":"Q127806653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4957191$396C4037-AD5E-433D-ACA8-C8D3EBF77097","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4957191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4957191"}}}}}