{"entities":{"Q1285667":{"pageid":1296417,"ns":120,"title":"Item:Q1285667","lastrevid":70584039,"modified":"2026-04-13T15:35:18Z","type":"item","id":"Q1285667","labels":{"en":{"language":"en","value":"A shorter proof to uniqueness of solutions of equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1281134"}},"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":"Q1285667$CD7D2280-55E3-4ED9-BFEF-54A9B95C5DB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53f8d0f7854654b4592c0e30dbdc24dd7ac63fc6","datavalue":{"value":{"text":"A shorter proof to uniqueness of solutions of equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1285667$EB613C7E-E443-4471-8674-34D69303E201","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e46c381683a12470939aa040a1230b16a52210f","datavalue":{"value":"0913.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285667$DB927BB5-F50D-4029-8324-D37C48D24AB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b20ce91af4e8b03fdc8cee014318068ecd58152","datavalue":{"value":"10.1016/S0304-3975(98)00187-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285667$46676570-2A64-4D86-9F3B-DB5E7079447A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285667$4237FDC6-0771-42A4-AFDF-24468154AE89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d6d292392867bfa77ace8d025cfcc30db394b6b","datavalue":{"value":{"time":"+1999-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1285667$F2A25566-EEB4-4FC6-80BB-2A06917EDE92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285667$CD0D6177-F8ED-4246-9962-1C0BE12BC0C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4b34f6e3926e960b296f46811735aa2042392db","datavalue":{"value":"1281134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1285667$361095E9-F8AB-4E88-A8A7-06C0DA6F21CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285667$2DFDF901-B8CE-45EC-A168-AC87C2526861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ef519bfc9d2b2e2ee27ec4404e1fd2aef4710a","datavalue":{"value":"observation congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285667$1DA045D0-A94C-4562-BC19-CF82533C8504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26fa4ca290d0347271895983e77c43b28d538e3f","datavalue":{"value":"bisimulation up to bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285667$C0FE50E3-5466-4D12-A641-B86B1CA0993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169840107827c341daabbdc2237f2a2815d0afd8","datavalue":{"value":"solutions of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1285667$20BEAD04-1AD3-4C56-9F47-8FFDC03F8BFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285667$81B30F09-D2E7-4D99-939F-EA96D5FD2809","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":"Q1285667$3D0EFD1D-1CDB-4975-A28D-E6B078F569FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285667$1854989E-D112-47F6-ACAD-953E7E75A61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1285667$B3483024-B60B-46E7-A145-56836EAEC40C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shorter proof to uniqueness of solutions of equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_shorter_proof_to_uniqueness_of_solutions_of_equations"}}}}}