{"entities":{"Q7411151":{"pageid":32528967,"ns":120,"title":"Item:Q7411151","lastrevid":108205638,"modified":"2026-11-03T16:25:05Z","type":"item","id":"Q7411151","labels":{"en":{"language":"en","value":"Generating theorems by generating proof structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8276279"}},"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":"Q7411151$F149E4AC-0AFD-4470-9FB9-F66935462313","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06cebe7f8a815491b91981aac89ca5a67f511a3d","datavalue":{"value":{"text":"Generating theorems by generating proof structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7411151$158E2C51-4057-466A-B5EF-78F897509086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb212f30cff8a1035bac1251bcbd749d20b38a1c","datavalue":{"value":"10.1007/978-3-032-32589-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411151$D477BDCC-4D62-4DF7-8A29-DA0CCD875C9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$E1A81C23-C1EE-4477-9CCB-EB4D388D4AB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fea8258efc0c807aa3a84f12ebcd68838427a662","datavalue":{"value":{"time":"+2026-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":"Q7411151$88782CA9-E61E-4A67-B7A1-ACD0E6F557AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411151$D73FAA20-60D6-41FA-9846-BFD5658B3923","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c58847850f8ed3647c2c6c52c876b7dd76c7700","datavalue":{"value":"8276279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7411151$331D10DC-733F-47C3-9091-E5765EAF9782","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":"Q7411151$40839173-9515-451E-8607-1E9D3C0D29E6","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":"Q7411151$C14D39C5-B9E8-4FC8-B320-21F7EEDAB95E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$2AA7DA76-58FE-4388-B2CE-6E8D8370B7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab794919a8997b9dd02f15a063b43764fcb62ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5013905,"id":"Q5013905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$FE0FD565-801B-4351-8C5B-3B3660EBC953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f397d319c50089c853b95b51a88ff8f6d5592d29","datavalue":{"value":{"entity-type":"item","numeric-id":6618646,"id":"Q6618646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$0F7C1299-8D2D-423F-93C9-93EA3404ED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ffa08056b25c8397b28a5c628da1ed39b7b155","datavalue":{"value":{"entity-type":"item","numeric-id":6642984,"id":"Q6642984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$6A6D530E-35B3-458A-A050-962738005568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$D3475C8D-8657-4704-A556-6374FA75E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$62025E7B-F15D-445C-91C1-BA21683BD2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4137241b3bf1b153d0e8ad61d82e635658c3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3357560,"id":"Q3357560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$4D2C7688-2B49-45B0-BD4D-864D2CFC50A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b91bd22ecf18237118714b193e89e43607e9d3a","datavalue":{"value":{"entity-type":"item","numeric-id":2299626,"id":"Q2299626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$F71D799B-B38B-4E84-A37E-11EF317262E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf243fe51a5105a571b8345fa16c56b8d53f4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2890201,"id":"Q2890201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$4EB2BA31-A4F0-4C73-9CE1-D0DF3AB43584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22f0cc6d347d0883b044bb9468db1ab7dd5a3b","datavalue":{"value":{"entity-type":"item","numeric-id":4346206,"id":"Q4346206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$159879CC-D3F5-4F79-BCBE-52293E3FD71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe3b02d54ba595ff22780f05fff04326cc851a3","datavalue":{"value":{"entity-type":"item","numeric-id":3489979,"id":"Q3489979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$FB7DF6BD-9919-4407-8BA2-D62E465EB528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069e49240b11100053a73c05c9f974f79da95a1","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$20A38189-6C6C-41AD-A1C4-91CDF1160E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7acb11cbdb933f2163912ccf010d4097ef19866","datavalue":{"value":{"entity-type":"item","numeric-id":1648865,"id":"Q1648865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$6DDC0169-CACD-4E05-9BF3-5221664718EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$89F19716-5D04-4C13-97E5-8C5C615CAC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e34b363262782c04aadbb3eabac85f2bb66832b","datavalue":{"value":{"entity-type":"item","numeric-id":3451087,"id":"Q3451087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$863C226C-610F-46FA-A34D-DE3B81D9BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e335035126b3f181b017ff28c252d53b4621a882","datavalue":{"value":{"entity-type":"item","numeric-id":1906674,"id":"Q1906674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$0C7BA2F9-B133-4ECC-8C5B-B529F7F1026E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a75f053a353053f076c4579a8bd7588f50e677","datavalue":{"value":{"entity-type":"item","numeric-id":3568228,"id":"Q3568228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$2F6DF64F-AEBB-4301-AA8E-3EFFAA925278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$B1248182-864E-4C03-BEC9-AE1C5B7EA2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2840089ac4965ae106b1e73040d27192e68174a","datavalue":{"value":{"entity-type":"item","numeric-id":3797157,"id":"Q3797157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$7C083EB0-5114-4485-A9F1-94A0773B6F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879fc2ff06f54605e217c9c147e5033715096b9c","datavalue":{"value":{"entity-type":"item","numeric-id":6541149,"id":"Q6541149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$BFBCBB3F-4B4C-4E5D-A278-BB3625F3C393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94e89d5c0485f21238f53d0a26f2a46d9b20f8b","datavalue":{"value":{"entity-type":"item","numeric-id":5119552,"id":"Q5119552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$8D79BB87-44D7-4D83-82F4-ACA7F80D3E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9297b6a91a7c29eb2b70ce4159ebd40915c17240","datavalue":{"value":{"entity-type":"item","numeric-id":2305435,"id":"Q2305435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$C87B3FCD-A3D4-434E-BF80-B32A66156C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d758d5f73f99a23be99f74f2477dc634e684e253","datavalue":{"value":{"entity-type":"item","numeric-id":1457162,"id":"Q1457162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$EA42ED67-AEEB-4EC3-AC94-3FEFF9C411F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$C7718251-A1A6-4511-9E68-19CD5B829382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcd1b01f4f37b251cf46968ed5d8be28e5faf8d","datavalue":{"value":{"entity-type":"item","numeric-id":5951525,"id":"Q5951525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$974CC137-A1B8-4FD3-B60D-15C0A841083B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1a8094411c4c770dd370a45c2db874b8897938","datavalue":{"value":{"entity-type":"item","numeric-id":3066112,"id":"Q3066112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$0FC64B11-4EFC-4049-A08A-99D0CAC942A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4de644dc35e1237e68c5490590f837496960ea","datavalue":{"value":{"entity-type":"item","numeric-id":2055843,"id":"Q2055843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$80B5B992-8101-4F1F-9B60-11BEBFDF631B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb176fcae3788f849f0d5a6f8434cca6fb3db70e","datavalue":{"value":{"entity-type":"item","numeric-id":6653096,"id":"Q6653096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$5383C9DF-91F8-45EE-9FD3-89CCCC8C6859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$1A3B64C6-5983-41D9-8E3A-EC0E25E569E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154809d46de0469646d99042c9ccf1d8b62fa94","datavalue":{"value":{"entity-type":"item","numeric-id":1343396,"id":"Q1343396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$876516FF-BF00-4FD3-AE3C-31BF68DED9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"584ba831ea8927e8bd9bce7c832b90c40b90d6a0","datavalue":{"value":{"entity-type":"item","numeric-id":5951529,"id":"Q5951529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7411151$808F953A-8DF9-44F0-AFDB-B4D36127F8CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating theorems by generating proof structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generating_theorems_by_generating_proof_structures"}}}}}