{"entities":{"Q2908526":{"pageid":2919251,"ns":120,"title":"Item:Q2908526","lastrevid":79824137,"modified":"2026-05-06T14:47:33Z","type":"item","id":"Q2908526","labels":{"en":{"language":"en","value":"Diabelli: A Heterogeneous Proof System"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076935"}},"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":"Q2908526$D07B6C78-B4CF-4BEC-8C56-D52EC3CEBE03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7a19c30533dd5d7d8201d1b2a77530b7703f5f4","datavalue":{"value":{"text":"Diabelli: A Heterogeneous Proof System","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908526$A48F7A34-C58C-4996-90D8-DE2A9B5DE1A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb868e1fd8bb0f33566453f40bcf22f91af665dc","datavalue":{"value":"1358.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908526$5F9C9FA8-95E3-43AC-82AF-1149222D2AD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab77f328dfed073fabe8d57b638a2bd68411a610","datavalue":{"value":"10.1007/978-3-642-31365-3_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908526$9B3E0B7F-F55B-4DC5-A3CF-7B514CBC023F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d472f173c488410da982f827096ab161ebccc11","datavalue":{"value":{"entity-type":"item","numeric-id":2629221,"id":"Q2629221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$930A07EB-586F-497F-BA61-45EE1076E5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"284fbc1bc15076f8bcaa5ac2c8ac8b95878097ea","datavalue":{"value":{"entity-type":"item","numeric-id":946571,"id":"Q946571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$F3E1E843-08BF-4797-8632-DB12ADC48C10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$4BF51672-C81B-402D-93A0-326354D91E91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908526$25F9474E-9FF0-496A-9782-409689A773BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908526$7DC37286-A910-45A3-8F58-AEC508586C9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5de3acf26e5d3eb4c87bdaf0ef46cd94de88ada0","datavalue":{"value":"6076935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908526$78F2941C-9CF7-4A32-959E-A9C0FB5BC0A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec33b3b4fa83839599bcb6ee5572b843741a21e9","datavalue":{"value":"Q62046876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908526$A034977C-83C7-4435-986C-E8A54785F4D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$A6DEE3E3-90F0-4395-BCD5-B95B445E39C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"68aeb39482d61259e5f6632cbea24778e878979c","datavalue":{"value":{"entity-type":"item","numeric-id":31281,"id":"Q31281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$F0BCD943-FDD1-4B29-BACC-943705E5A7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f433a2e3d87a020669fb116aa4ee65ff93a85fd7","datavalue":{"value":{"entity-type":"item","numeric-id":31282,"id":"Q31282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$314EBF8D-5AF3-47EB-88EC-C6ED4E6307D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$A6AC2492-0F74-45E6-9870-CAC7AAF196D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58f3895dc14a8b1022a803498cd9dd0eb346a16f","datavalue":{"value":{"entity-type":"item","numeric-id":31284,"id":"Q31284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908526$7BD7D375-C605-461D-8D31-79100E87B650","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":"Q2908526$B0588328-21B3-4BA1-82C6-D8305D63281A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9971f5cd1f7bce7a62e08c402a72bed629a40577","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31365-3_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908526$DFAE7D57-6616-423F-B406-9EA90404C8E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"110ea570ea02a4cf841f45a1e13d45e2933d5034","datavalue":{"value":"W182508314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908526$1139E6AC-A5CF-4916-B204-3AC4F4FC4F33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diabelli: A Heterogeneous Proof System","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diabelli:_A_Heterogeneous_Proof_System"}}}}}