{"entities":{"Q7232188":{"pageid":24494678,"ns":120,"title":"Item:Q7232188","lastrevid":84476186,"modified":"2026-05-18T15:34:04Z","type":"item","id":"Q7232188","labels":{"en":{"language":"en","value":"Two applications of logic programming to Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8189431"}},"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":"Q7232188$F2DBBD65-9FB4-46A4-9AD6-4F5B8E3B1168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4344e8c1a516ad6912d164bf933e7705b8408047","datavalue":{"value":{"text":"Two applications of logic programming to Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7232188$759639C7-0317-49AD-BE54-96800160A13D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2090f57d5c5d042da559189a81c434dd654fef32","datavalue":{"value":"10.4230/LIPICS.TYPES.2020.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232188$A10C6A98-943E-4285-97EB-B7BA1F4F6A2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a4d2cc3032ee5776cf0751b0019bab41916c8","datavalue":{"value":{"entity-type":"item","numeric-id":3384898,"id":"Q3384898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$103B9964-D4DE-4F59-B628-31438A4BF9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$262256A8-F2A5-450A-893D-45AC806F317D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8135914452c3b1bd839ce74f3161ea4765c65f58","datavalue":{"value":{"entity-type":"item","numeric-id":287276,"id":"Q287276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$2F3F9AA8-8AC1-43BD-9CC1-C4A1EDDF4DB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22b7db1ee47288e2a17e9877aecc2cd5315e6862","datavalue":{"value":{"time":"+2026-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7232188$CB4808CB-C097-4EF3-A40C-142DD54FE437","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232188$089FCFF5-7154-4784-9555-D5B20E5454AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232188$F415954C-417D-454F-BB6C-312C62E3B8CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aef1147208d687de9179567a1e71d6870afea3a","datavalue":{"value":"8189431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7232188$B53F3A4B-C732-4E51-A5C0-D1FE43E5C959","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":"Q7232188$ECFD6B7B-4B4D-4559-AE8A-C098076FCCCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232188$12F3D7F2-9182-4B4A-AC53-DE867E576A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232188$CBBDBD0E-A7DF-4B20-8180-F29FF32FBE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232188$43C4DE36-03BA-44CF-BBFE-800AFBFCA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c0860f607e50db3d17797c14e4805c145c89b0","datavalue":{"value":"\\(\\lambda\\)Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232188$290AE41E-A556-42F9-A50B-36879287E6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fd0bc2de9be614357048753018b3bdfb79d97a1","datavalue":{"value":"property-based testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q7232188$A3063789-B671-4001-9F9C-DD8F963C87E3","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":"Q7232188$A3DB6BDF-8300-4DE6-9D01-0AC4353E39A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$349FF2F7-64D6-4394-8783-4DBA90125C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d3b37d61604070c0efbf8dc0f2517b07882eaa","datavalue":{"value":{"entity-type":"item","numeric-id":6829930,"id":"Q6829930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$8C202312-B950-4DB3-B139-4350E693123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$9C8814F9-1C92-438B-A9B0-605D5B9BE3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc2eece43ed61a28c0516dc0b9048a4a049547","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$A6A10BB8-5E75-414C-BB15-5F8F8B6FF905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5427eea219a928f27416192c61e0d340ff14b0","datavalue":{"value":{"entity-type":"item","numeric-id":2405254,"id":"Q2405254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$2509E1AF-F113-498E-9FD0-A47D7A0E5096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$707760FF-FDFC-4B0B-8C42-88D549C42668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1271dc12ca236d15bedb5cc249ba7b3d87068b","datavalue":{"value":{"entity-type":"item","numeric-id":5739975,"id":"Q5739975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$D7992637-BE08-4BF7-A1B1-CC63FE9BD3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9159ab811fea29e4217d139fe47c9288447836f7","datavalue":{"value":{"entity-type":"item","numeric-id":4593089,"id":"Q4593089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$E535E292-8460-4533-AB8D-60307781F3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508445245117b76d4143f574f14f7e8f72f18fc4","datavalue":{"value":{"entity-type":"item","numeric-id":298994,"id":"Q298994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$9ADB5F62-4344-4D71-B4C3-C14C2080C838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef4114ad058efe7edabe8fdd17733b47122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":1701039,"id":"Q1701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$D18AA38D-5477-4A65-B702-FB56AE77B40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$96CBEB4F-DA2A-401A-AE2A-7A913C6D277D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be977a859de854f15077584bfba61ff5a85d99ca","datavalue":{"value":{"entity-type":"item","numeric-id":6854399,"id":"Q6854399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$D972CD56-10B5-4251-BDEB-C757F1001669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$8044AFA8-6BCE-4D3E-AAD8-4506AEA6962B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1b22f5baf13e82191ad3bb21df49ebf4f88d1","datavalue":{"value":{"entity-type":"item","numeric-id":3460075,"id":"Q3460075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$8202059C-E0A9-4F88-8AE2-DA0B484F3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94a2fe58e64b528f4d29cb8a45205f6ae980a02","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$62109C4A-12C2-47FA-9DB5-42098117DA33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e2b13fd5a27d330f592699f5bb5ff339813ded","datavalue":{"value":{"entity-type":"item","numeric-id":3789101,"id":"Q3789101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$8F08DB18-AF7B-49B3-B5C0-4166DA7F73FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4182bc3380cb99d6dac6682631a6bab7a363f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3458885,"id":"Q3458885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$77846FC6-475E-4568-AFCF-0987328481FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec7bdcd14d65b5cd3ec901aa441c6b2c1bcfe6ea","datavalue":{"value":{"entity-type":"item","numeric-id":2392484,"id":"Q2392484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$86D1957E-9E7E-45BA-AFB3-BE4C235D1759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b44dc579c51b3f7b4cdb86b7e3cffb721c41a5c","datavalue":{"value":{"entity-type":"item","numeric-id":2616497,"id":"Q2616497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$A2D0084E-3684-4ED1-AA8B-B14042DAFD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$5C945E42-FB15-4DC8-B322-950AAEBB1289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$78803F95-AD01-4914-891A-E3CD1FC76622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59735a24dbec85dc77adbe0ca4cb30d5229858fc","datavalue":{"value":{"entity-type":"item","numeric-id":5236551,"id":"Q5236551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$CAE0870A-AC7D-47B8-9EC3-74BEBE74CBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$1FAD37AF-5AD7-4E77-AB3C-F533CF1B629C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce890db8f764308dc9d80705e866747b01fc19","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$45DECD4F-C46E-4475-BE46-35E63C74E3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fbdbd74ac1072771d7af15d76366572f6c6486","datavalue":{"value":{"entity-type":"item","numeric-id":1314646,"id":"Q1314646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$9B399433-542F-4BFF-A20F-AB8A586EF93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$5689453D-8948-4A09-8499-B8693E773ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3ffcb8740f4ecb8326f53555af93878da43eca","datavalue":{"value":{"entity-type":"item","numeric-id":3613355,"id":"Q3613355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$FC2857E7-F6BE-4BFE-AF85-29E3B00382EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$7BB5934A-0BD4-4993-9202-1C796BAC6591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b1b08756d91316e1d97aa4b3cacebc09d7bda5","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$344474C4-33F8-4239-BB85-E91A15D02719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$F24B07D7-2B9A-45D3-880E-E136B92C2820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2701bd0eb2b55ca39846529ab6a31029f03304","datavalue":{"value":{"entity-type":"item","numeric-id":2628296,"id":"Q2628296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$E2819519-0C90-49F7-8BE5-82DE8F1FF69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314815f5f766d999887d8da9280b8656ee30b120","datavalue":{"value":{"entity-type":"item","numeric-id":2323447,"id":"Q2323447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$56313384-29B6-43CE-9758-7A009DB5B923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$E07A943A-C154-4BA5-B7CB-07EC2F0D12AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$1394561D-05BF-49C9-B3C9-7A6F2940188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$EBE00EA6-0957-4405-A3C7-5CEA928CCD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fd1a91c3916e16b2e5046efbe49fbef163b180","datavalue":{"value":{"entity-type":"item","numeric-id":3495673,"id":"Q3495673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$4F5672FA-4400-497A-8F92-AD152A980EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"701be82a30486b7ebafbaaa8a5ae4564b64a8404","datavalue":{"value":{"entity-type":"item","numeric-id":2945645,"id":"Q2945645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$5317D719-E6DD-4CEB-B55C-C973B87F57EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$635B5822-643C-4B74-A6F0-F16EDA02BBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90a510f27550100d45a2ef21dd83bca5c9e1966","datavalue":{"value":{"entity-type":"item","numeric-id":5747747,"id":"Q5747747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$B90D7415-40EB-468B-81AA-875FE9133EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54a3aa9a1970210e49011da0d9bde98c2fd981c","datavalue":{"value":{"entity-type":"item","numeric-id":1744415,"id":"Q1744415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$C6D8F4C4-A6E9-4C62-A583-C0DC7E200CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25111528f272916c4bfd9f74d533409578b49c1f","datavalue":{"value":{"entity-type":"item","numeric-id":877897,"id":"Q877897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$45E18406-0F35-46F3-BC47-567B878F58F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02225b9bf52ec561b65599c55548fe72422e1bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2769442,"id":"Q2769442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$B34A88A4-6858-4240-AEE1-D6DEDA9A2BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103bf2cb62768c300adccc9356dc2154001a007","datavalue":{"value":{"entity-type":"item","numeric-id":2209542,"id":"Q2209542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$159096F3-0879-41D4-9E9E-F407C986EDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6bf9de9e2014e93e277e777180ed630b8cc1b3","datavalue":{"value":{"entity-type":"item","numeric-id":5875441,"id":"Q5875441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7232188$D1D5C4BF-946B-43E4-9BC2-07D3D28B5AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two applications of logic programming to Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_applications_of_logic_programming_to_Coq"}}}}}