{"entities":{"Q1215410":{"pageid":1226159,"ns":120,"title":"Item:Q1215410","lastrevid":66363336,"modified":"2026-04-12T09:35:53Z","type":"item","id":"Q1215410","labels":{"en":{"language":"en","value":"Plane geometry theorem proving using forward chaining"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3471636"}},"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":"Q1215410$9492D749-310E-449A-BB68-9C92CD0914CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15d7a07f8eb5af24ae6343f4e174001d036885aa","datavalue":{"value":{"text":"Plane geometry theorem proving using forward chaining","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1215410$BEA0A107-4918-4458-9B50-7D6FD948CE87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33370191127fc2f33d3783c6b8ea607e5feb505d","datavalue":{"value":"0301.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215410$724B049D-409C-4252-B89D-ACA1049CB70A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75a16564f8365bf4f06c26cadc38488399d9ccb1","datavalue":{"value":"10.1016/0004-3702(75)90013-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215410$2988746B-E364-4D20-9197-AAC9C3E5132F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da52982855b46913f1dd9b66f669911342b602a9","datavalue":{"value":{"entity-type":"item","numeric-id":1215409,"id":"Q1215409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$6DEB37B8-D2F1-408D-A93D-3AA5C4DA163C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$EFBE7E94-6E49-47B8-A699-7923C100A513","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1215410$8202F3F7-A07C-4800-AB28-22820946FA98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbcb308e165cc1734326311882ddcd9b1cd75e3b","datavalue":{"value":"http://hdl.handle.net/1721.1/6218","type":"string"},"datatype":"url"},"type":"statement","id":"Q1215410$B54EB974-C767-422D-B67F-BF6346331ED0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215410$51126A95-A6C5-4399-A1B0-28F59DF1A52F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e62bc28c47003722cb59bb728e694b356cc3b38","datavalue":{"value":"3471636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215410$685E5ACF-2C41-4BE4-AE25-44C3892A758E","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":"Q1215410$7B997932-852A-44AB-977F-F426846B423C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4594e21d2c61f2342a0519e5d0ed9e1c6662a335","datavalue":{"value":"W2091926481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1215410$511F06F4-BD4C-422D-B200-2482B1BB9643","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"280442ce105b23ca3597e15fa2038c58314d7165","datavalue":{"value":{"entity-type":"item","numeric-id":1845619,"id":"Q1845619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$FC0AA025-6971-4311-A4F0-6C59970F0315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdf21144d9e32553e8f12d339373f204fb256fe","datavalue":{"value":{"entity-type":"item","numeric-id":5721424,"id":"Q5721424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$5C0A41E9-E631-4DE4-84F9-30C91AFE3EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c3619e54d23805be501ac56b166e67b0585f38","datavalue":{"value":{"entity-type":"item","numeric-id":5507983,"id":"Q5507983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$09FFD639-B81E-48F2-A649-4A69A0088E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7abb1a37fcb81a634dcf1216f786d92ca577fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4098673,"id":"Q4098673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$D82BEB27-8EA2-4828-BCBF-FA79EB9486FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ab1b76c1a615c15f4ab0ff2b368f22cadd3a65","datavalue":{"value":{"entity-type":"item","numeric-id":1215411,"id":"Q1215411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$FEACAF71-67CA-406F-BC8C-24BD67AB8ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bdf829a201d0ee7f3788d86a2543089dc5b60dc","datavalue":{"value":{"entity-type":"item","numeric-id":3849246,"id":"Q3849246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$8276F369-2EE6-42BD-A3C8-956FBFE15E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a101ded09c5125d96a8befe26aeda0ce844e0ae6","datavalue":{"value":{"entity-type":"item","numeric-id":5542557,"id":"Q5542557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1215410$C289A0A0-30A2-4512-96D2-DA178CCAE8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Plane geometry theorem proving using forward chaining","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Plane_geometry_theorem_proving_using_forward_chaining"}}}}}