{"entities":{"Q7323697":{"pageid":31355380,"ns":120,"title":"Item:Q7323697","lastrevid":105121966,"modified":"2026-09-17T13:19:03Z","type":"item","id":"Q7323697","labels":{"en":{"language":"en","value":"Verifying Datalog reasoning with Lean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8249913"}},"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":"Q7323697$6726E1AA-CA07-4D24-97A4-0C960308119A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f14687d407f940c2010e17fe9f03fc471cdbba31","datavalue":{"value":{"text":"Verifying Datalog reasoning with Lean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7323697$3316018D-63D3-42C8-85A0-C617227BA6BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2347c5d37607cae15960f62d0840dacbda2cbff0","datavalue":{"value":"10.4230/LIPICS.ITP.2025.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323697$744B24A8-7BEC-4C19-81B2-1EAF5FAB90D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc4fb75f93ff93fc91d78c00dd18bae2d7528ebb","datavalue":{"value":{"entity-type":"item","numeric-id":7322456,"id":"Q7322456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$3474E2DC-64B2-4167-9414-DED51DED7485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a4003264a4a50ca11283d764be147cc347935a","datavalue":{"value":{"entity-type":"item","numeric-id":7323696,"id":"Q7323696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$300780BD-D526-4B0B-8CB3-BE6F552F6F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a781fa052437b979136cc16d351fabe811f9074","datavalue":{"value":{"entity-type":"item","numeric-id":898618,"id":"Q898618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$A6C42292-469B-4ADB-9516-C4295F919E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81161afaa508e2d68667bfb24b0b658ce4a4b13","datavalue":{"value":{"entity-type":"item","numeric-id":831913,"id":"Q831913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$A05F57AD-8957-4674-884B-C8C4C8CF2C4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"327bdfdabaae2e8cbc884e8efa23d5004f5f8802","datavalue":{"value":{"time":"+2026-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7323697$D1D340F2-2B9A-423A-88D1-8E38071981E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323697$D7766708-FE1E-4E9D-9DBF-1323E9F91330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d8a623165a5ce9f43963705d1e38eed8642c1c9","datavalue":{"value":"8249913","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7323697$1186689E-A73F-4C54-A35F-69506A393ADC","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":"Q7323697$195E1F3C-5E76-41D8-B9D7-7CE335515E1D","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":"Q7323697$F36976EC-40A0-49A6-BA70-B6763AF0227C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7518b1302b421727bc51952e31ef9eaefb0e3f","datavalue":{"value":{"entity-type":"item","numeric-id":6157247,"id":"Q6157247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$8285E0B2-A1B6-4DC4-A0CA-FFE52EF80F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c1110fd3be878ef3de03103ae27e7c28e603a5","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$B257E997-2983-4B80-BBB6-F62DFE4C0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cd9cd9db1e85deab644652f7af1023f976990b","datavalue":{"value":{"entity-type":"item","numeric-id":1687733,"id":"Q1687733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$0DCE15C3-9DB3-442E-A40F-630E1FF9F28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6ad30e2b26129920259174441c8d97c6fa6d02","datavalue":{"value":{"entity-type":"item","numeric-id":4559800,"id":"Q4559800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$77D652D9-9F0C-4F81-B7CA-7CD2C340BF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c57e61dbe3a56615cb7de98e9cf1bc7a1ba47","datavalue":{"value":{"entity-type":"item","numeric-id":5875414,"id":"Q5875414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$E6513CDB-3E80-4126-A0EC-FB6A164F5337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fafa0019cbb6c9c4736edce9fada4cd13b6558","datavalue":{"value":{"entity-type":"item","numeric-id":4473278,"id":"Q4473278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$1E5FC9F9-C438-4A1C-A662-2AD5FCDEDCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$23A502E0-CCE8-4DC7-8DFE-F05447338B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4d9dbe5c8efa8434d8c6872c1bda9d6b35f241","datavalue":{"value":{"entity-type":"item","numeric-id":6572548,"id":"Q6572548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$985C5724-B71E-43FC-B5C2-2F2099B6FFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$27F96217-2E65-4489-930D-5FA2076A85B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$8D7C4B0B-2B33-45D0-85B1-A45DE258F97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f64fb532bf3fbbd92e7d2230ded1d794e7358","datavalue":{"value":{"entity-type":"item","numeric-id":2352492,"id":"Q2352492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$72DB5416-ACD6-4B02-8B68-B07E60678BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af0e7021c32886579feaf870d1758cefb3dbabe","datavalue":{"value":{"entity-type":"item","numeric-id":6491023,"id":"Q6491023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$C8A050AE-D01B-4CF4-BDC9-E426E8B7B7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa917cd1e9b5468ee39ca98d36ef385b02222f9c","datavalue":{"value":{"entity-type":"item","numeric-id":465678,"id":"Q465678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$D897AF90-8B4E-44E6-8D79-B1AEB0BAD525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$A8D00C29-8B3A-40F3-868C-4447136DBBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff26ac16f64e362df41bbcf833055b1e25bf45d","datavalue":{"value":{"entity-type":"item","numeric-id":6643015,"id":"Q6643015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$2A8010C4-1565-42AD-B866-8861FDC9CF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30b8f2e71b8b75f9fa7ae9d4011ee3b7d76817f","datavalue":{"value":{"entity-type":"item","numeric-id":3612450,"id":"Q3612450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7323697$5273231C-9321-45E5-8F3E-6F55A9BF479A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying Datalog reasoning with Lean","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_Datalog_reasoning_with_Lean"}}}}}