{"entities":{"Q1101254":{"pageid":1112006,"ns":120,"title":"Item:Q1101254","lastrevid":66973206,"modified":"2026-04-12T14:04:50Z","type":"item","id":"Q1101254","labels":{"en":{"language":"en","value":"Automated reasoning in geometry theorem proving with Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047189"}},"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":"Q1101254$115759B8-277E-468C-A594-86C7E9D3BC12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"baae75c1409b2c3262e7c5527f3b1ca406333abb","datavalue":{"value":{"text":"Automated reasoning in geometry theorem proving with Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101254$4357E7B3-C899-4E47-9CD8-523B2F286030","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"492fcd1f2eb390c7647710f312c38668198a3c62","datavalue":{"value":"0642.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$EC6F6572-8528-4833-9830-28459197FE42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49e3683022426bd97971251c64f09cbb36c6c63f","datavalue":{"value":"10.1007/BF00248249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$6AD23AE1-55FA-4F80-8206-A3EB6AA86204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d6ba84b5cf12c37d00f76a0d8c7af1a6f6f45e8","datavalue":{"value":{"entity-type":"item","numeric-id":1101252,"id":"Q1101252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$8BF72726-32FE-4D18-ADE2-56E49D7B3154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed3d8ab05233f431dcdbad1e0687426441c617b","datavalue":{"value":{"entity-type":"item","numeric-id":421475,"id":"Q421475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$489B2A8C-2F2D-453B-B131-CB87D6A6DB88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$75CD8103-D144-499A-B239-78E408E4DE46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1101254$C2CD859D-EF7E-455E-B8EB-85626F14F6A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$CA735714-38EA-4270-8841-F688BA5E49B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0d8912a48ac60770db1c80088e9517c70dd683cc","datavalue":{"value":"51-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$21D93584-EADF-4DC6-91BE-719F0760C899","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efb646882bb6c7e6db663faee54c016193457b8c","datavalue":{"value":"4047189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$DDAD6BA7-6761-45D0-947E-F73FD7F48804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101254$CB3F4024-4586-46EF-BF81-0132DD357E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101254$1511FC71-1DE5-4544-92A6-006A16B7563F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101254$982D03F9-7757-4B66-904B-1AFDF52B7268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101254$7A27605D-BB75-49DD-A61F-0EC587A23A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"316579f0644a4d94096074f92ccf6a21b563c6c1","datavalue":{"value":"geometry theorem-prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101254$853C4EED-21BF-4364-B3BA-37F9B5006F16","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"098c8a17772749ef6b253bbb3ffcaecfcea05e2f","datavalue":{"value":"Q62039022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$376C9538-FA99-4612-A314-EFFDDAB6C7FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcde8b56f42a4a7e5b47764accb5e9958c661a9d","datavalue":{"value":{"entity-type":"item","numeric-id":43964,"id":"Q43964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$E12B9852-4841-43BB-96ED-02180D872696","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":"Q1101254$E131EE51-10C4-4FA5-AABD-652F621E6D47","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"842ac4b6c0530e3970ec5436704de2f49642b85d","datavalue":{"value":{"entity-type":"item","numeric-id":3267774,"id":"Q3267774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$151B6FA9-F755-4B45-89D8-7586C9C9C2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a51af1c6775d626d0afd525cad52bf9304cf7201","datavalue":{"value":{"entity-type":"item","numeric-id":2542288,"id":"Q2542288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$C1E09401-226F-4097-9742-FDC71496F553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27032a384168af742be76775ecf3c64f8e4bc37","datavalue":{"value":{"entity-type":"item","numeric-id":1215410,"id":"Q1215410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101254$493D3DD7-4CF9-4E59-8516-AC6EDA9B1C73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b0f34ae68cf64e7a34fd57546a09131fa3ccf69","datavalue":{"value":"https://doi.org/10.1007/bf00248249","type":"string"},"datatype":"url"},"type":"statement","id":"Q1101254$89E51A24-5520-4202-9712-08F3FC8C1669","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8ce03177302b26f153620768fb71546d48c99d0","datavalue":{"value":"W2125565018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101254$3EB83E78-BE5E-40FC-9FC7-6BFC319D9D41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated reasoning in geometry theorem proving with Prolog","badges":[]}}}}}