{"entities":{"Q1101259":{"pageid":1112011,"ns":120,"title":"Item:Q1101259","lastrevid":66973242,"modified":"2026-04-12T14:04:51Z","type":"item","id":"Q1101259","labels":{"en":{"language":"en","value":"Schubert's steamroller problem: Formulations and solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047192"}},"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":"Q1101259$DEC5D6E3-1191-4F88-967F-2C528D8C4DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980ebfb898ceb13f69b41f8f17769229bcfd4faf","datavalue":{"value":{"text":"Schubert's steamroller problem: Formulations and solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1101259$DF223E6B-8957-431F-A83B-44EFADB7DD63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95feab2abbf73346445505438fe3b32c9f0b9482","datavalue":{"value":"0642.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101259$4F989069-9D5A-44B2-AE36-B29BC4710D1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"848428354ad03e4f961c675dbc50b82cea8074f7","datavalue":{"value":"10.1007/BF00246025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101259$14936F8D-5D08-432C-A095-B2645219975A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586ab04ae742da0d5be5693eb9382676e10f577c","datavalue":{"value":{"entity-type":"item","numeric-id":1101258,"id":"Q1101258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1101259$2E94E181-9F81-46DF-844C-1FC352100159","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":"Q1101259$A696B0F1-5D9B-4DA5-8523-933D3A4E2180","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":"Q1101259$75E073AB-0D62-46D5-88F7-9266CD80C85C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101259$FDEFEA1C-DC9C-4EDC-A121-1AAEC3A2EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101259$4FB1EA59-9357-4575-911F-CE8B4CE4C980","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbe7ae705a2233759effd3a5006da7a1db747461","datavalue":{"value":"4047192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1101259$A264F75E-6B52-4390-9CD4-7D3EC1062A67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c5010aea51d4a8a148d96612cd11acb2f5885f8","datavalue":{"value":"Schubert's steamroller","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101259$DECC67F4-8592-4700-84E0-9BF03EB7FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b797e63de16b94a4967997e57bf9f5517a93e9","datavalue":{"value":"automated-deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101259$68A19006-F89A-4C2C-9C88-293896301C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1101259$F6AD1874-52FA-4C46-B815-9BAF4EDE6613","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":"Q1101259$9B9119F8-8A21-434D-B35B-8DA5E4E5F7CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Schubert's steamroller problem: Formulations and solutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Schubert%27s_steamroller_problem:_Formulations_and_solutions"}}}}}