{"entities":{"Q1256323":{"pageid":1267073,"ns":120,"title":"Item:Q1256323","lastrevid":70009440,"modified":"2026-04-13T11:49:35Z","type":"item","id":"Q1256323","labels":{"en":{"language":"en","value":"A proof-scheme in discrete mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3626635"}},"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":"Q1256323$1A7FA16E-9E47-4CA0-AEED-1FC4D5C28A2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"838df8b616d25e465bd27c5a6efcfa7a40b2510a","datavalue":{"value":{"text":"A proof-scheme in discrete mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1256323$1E686D32-B876-42C9-9D6B-96131F643B18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d6deb8ea0366a3b26a851f6c62200f683457246","datavalue":{"value":"0403.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$3D370DDE-8CC4-4C22-B9CF-F3AC147F1362","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed5fc549d9579df232055f9a6ef28257606e8d86","datavalue":{"value":"10.1007/BF01091550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$E44F1020-4E0E-41CC-AD23-E45848BA75F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94b09d98ecfbc58c6f9b7cf10e965a5f90896b23","datavalue":{"value":{"entity-type":"item","numeric-id":741170,"id":"Q741170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256323$1D73A2A5-B886-4915-A3DA-41D905B72793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256323$9EF5A7C4-39B6-4CAE-84FC-8B3FAC94A546","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1256323$8F406435-2905-45F6-9F07-A51C5FD95F6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$55C2BC80-E3D2-44C2-9BA8-DDACDD46E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$EC98658C-A396-4DE2-A143-227922328787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$007EA3BC-8D85-4FCB-B0B2-240DF4931C9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f7fcb5b27c5ace68efde3a45c07cb8ec128268d","datavalue":{"value":"3626635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$E9ABB087-D09B-4CB1-914F-90A742BCCCD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d94c0cbbed679e4e8cade441a6c09bad8c18b26","datavalue":{"value":"Prove Theorems of Discrete Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256323$6CD7DDDD-2647-469F-88A7-12ECF2A4F9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c04779b067c3b232e6be0b0e252d1348e5b078d3","datavalue":{"value":"Deductive System","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256323$758CDF09-D706-424D-A9E5-5695D8A5B983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b01d063af2a16bd2456f730ac466f3f5b20bd1","datavalue":{"value":"Graph Coloring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256323$560CE44F-6E3C-453E-8095-4D50765FBD7A","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":"Q1256323$3D1B70D1-355C-40E9-AFAC-F965580715EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9d5f997ad4e98faf4457159b52d629b48df3f6","datavalue":{"value":{"entity-type":"item","numeric-id":5331780,"id":"Q5331780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256323$D2772D69-EC24-4367-A3DC-6999FA0DB2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c00c8cbf07c5276693bfab00bcd31687a90c09","datavalue":{"value":{"entity-type":"item","numeric-id":5615283,"id":"Q5615283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256323$A00CACBD-C4A4-4107-A21F-D8AC5512429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256323$837DD42C-7319-43B6-A81A-345A6DD6586D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f4bdd30244a3b9535e80c07c655de17dc46c6d7","datavalue":{"value":"https://doi.org/10.1007/bf01091550","type":"string"},"datatype":"url"},"type":"statement","id":"Q1256323$5F034012-CFDD-43E3-8A30-A5FB31D719E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c16a8476fa5b186894276ae1128732342a38573","datavalue":{"value":"W1970087359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256323$DB4FA310-FF0B-4932-8C05-B3DBFC1E7AFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-scheme in discrete mathematics","badges":[]}}}}}