{"entities":{"Q3145991":{"pageid":3156707,"ns":120,"title":"Item:Q3145991","lastrevid":58127919,"modified":"2026-04-03T22:24:05Z","type":"item","id":"Q3145991","labels":{"en":{"language":"en","value":"A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116213"}},"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":"Q3145991$29E23146-6018-4C52-AB7E-EC8197467A8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b18b298674effcd978311c39dafa6fe1e4d5e151","datavalue":{"value":{"text":"A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145991$85FEB306-0D20-480E-BD83-20A4FDCEB371","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bed712b21f25796328fc88c7c8e114b99894f96","datavalue":{"value":"1253.35046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$B9EEA8D2-38B4-4961-B974-F7E100FF4EFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b701d0972fd04997934459d927be45d0b1d2625","datavalue":{"value":"10.1007/978-3-0348-0249-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$F5E28DCA-F656-4042-A2A9-257D8D959028","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4a8ac244cfca90b9f64b3821e0691a9fa32f4d","datavalue":{"value":{"entity-type":"item","numeric-id":227252,"id":"Q227252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145991$818BC1B3-6E93-40EB-AAE0-62C017C4957A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"291d2d4bd83962accb1584eaf8c188916f93240b","datavalue":{"value":{"entity-type":"item","numeric-id":171505,"id":"Q171505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145991$AD54E166-4961-4D2E-8590-42BD310605F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c13ce035700a6b17656423783ad8cc7893dee1d","datavalue":{"value":{"entity-type":"item","numeric-id":1032870,"id":"Q1032870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145991$FE96A071-D45E-4CA7-BEB4-D5A929A18E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd9adc6a97282174a2f9b2de91609aa858148867","datavalue":{"value":{"entity-type":"item","numeric-id":1408413,"id":"Q1408413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145991$408C739A-4536-4278-B067-D7D225AAB919","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"15a1c670a3be0c6e3876f21dae2b729bfa4e279c","datavalue":{"value":{"entity-type":"item","numeric-id":3145988,"id":"Q3145988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145991$A3E6FDE0-1964-4335-9F9B-EF7282F59928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145991$27362C20-DE2E-4637-AE4F-A088E557F5FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ec048bb992183036c2c7608e54a076da260a7eb","datavalue":{"value":"https://arxiv.org/abs/1210.5893","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145991$130E1D50-2EA0-4BE3-A474-DF055F8ECED2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d0b97b8d8148cdc5aa2ecb9663eaea5f801fba67","datavalue":{"value":"35J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$7F3FC3AA-5AE9-4D0C-8E55-C0956789394A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2349fb095f05e48a00ff4b9eeef1f34be82ea286","datavalue":{"value":"35J60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$22B31E8C-BD55-4E16-B4CF-4DCA0B6F9E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c6c579b261e49447a3acfb39d30773c1c15912","datavalue":{"value":"65N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$B89490BE-7ECA-4B43-BF84-1244CF8A9112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85e5626f203a702891b62f66dfb168d30b1975c7","datavalue":{"value":"6116213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$F3331259-4FEE-40F3-A0DF-18BC4E958C1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ca9c6a804e124cae6209b33816c990466b3080","datavalue":{"value":"semilinear elliptic boundary value problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145991$68B91395-9EF5-400B-93DE-96CA010020B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b139f7228e51306717a3522bed5c3c725026e9","datavalue":{"value":"uniqueness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145991$792CE6B1-2B47-4FCD-A958-CC8541E1387E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d191be1a64d2a823d7f6d3cbe6390d1f4c93a7","datavalue":{"value":"computer-assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145991$8FF795FE-8677-4B7B-BA3F-237F3658EA0E","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":"Q3145991$8EEB0F09-B51E-47FB-8368-3A8DBDBB72AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6621f467fa09dbde079e999f5ade9e284a9532c4","datavalue":{"value":"W1845670705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145991$ADC4BB98-A432-4795-A3EC-E319A7DF00CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd9f2a7223744cc7245cbdc3dcc706fef373c87","datavalue":{"value":{"entity-type":"item","numeric-id":1032871,"id":"Q1032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9be81e73322a134d3b3e64973b3ccdc5bfcf194","datavalue":{"value":{"amount":"+0.98520863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$5ABB14E0-A5CC-437D-8C6B-5E8AF1EE7DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04834e03589fe50ff2f949edcbce66cc4dd38c4","datavalue":{"value":{"entity-type":"item","numeric-id":5851590,"id":"Q5851590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f41e28dbbb7501f3972ec53e11ed83084de704dd","datavalue":{"value":{"amount":"+0.97804207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$7E52E690-26A7-465B-9714-C014A0BAB245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc18c1f39d09af5133b15e90ceedcf115ca4ce2","datavalue":{"value":{"entity-type":"item","numeric-id":849190,"id":"Q849190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3295262266d8be227663472b5328e21ea7fc2766","datavalue":{"value":{"amount":"+0.9434391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$B7DE5246-5245-48D3-8383-92EA95BFA6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e865d271ddaf0fc0ec7e9e135b07f020ae14fd","datavalue":{"value":{"entity-type":"item","numeric-id":1012465,"id":"Q1012465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85ea6229f7f66308d563ce39b18fe25f5f7933f","datavalue":{"value":{"amount":"+0.94006634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$BD4BFA53-AE3B-41B2-8765-8DCE1E823D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ba467a1ffc25f1930faee623fef540d23586f3","datavalue":{"value":{"entity-type":"item","numeric-id":718434,"id":"Q718434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf2865246de96664b38e9f5ce1b02655c752ed8","datavalue":{"value":{"amount":"+0.90201837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$DE8966A4-0320-4B3D-A219-67E699F47902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3efac1751a0e44665774789bc69fe07f82c10e","datavalue":{"value":{"entity-type":"item","numeric-id":4948707,"id":"Q4948707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf6466b17855146b7dd3a6b05c59967355dafe0","datavalue":{"value":{"amount":"+0.89350176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$3014C686-C14C-491B-9C61-A46754E2E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e40399997a0f2f247c7d091ca3beda6fa60e9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1174351,"id":"Q1174351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"249e0a41a52adfe099e01263967b722c3f7824aa","datavalue":{"value":{"amount":"+0.88896614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$5CAB1B60-69FC-467B-9A28-0AFD4C16B5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca88a309aa6bf1953cc54300b366474f7b75e21","datavalue":{"value":{"entity-type":"item","numeric-id":2974076,"id":"Q2974076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3aa31699443f4ce422ed5e4bf0b191baf7e1887","datavalue":{"value":{"amount":"+0.8879066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$FBF2C78B-31F8-4C64-A6A0-3C25EBE171E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe73b01db0be505fead0c1f42ca3267a4a9c2c2","datavalue":{"value":{"entity-type":"item","numeric-id":1097404,"id":"Q1097404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc8e09cf2bd4e89da1b2b24db2fc27004c473b2d","datavalue":{"value":{"amount":"+0.8860841","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$66A27FD3-444E-461E-93D4-AE28F96294D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70d0d095d82a262337461d668e3b50c8ff97514","datavalue":{"value":{"entity-type":"item","numeric-id":1916333,"id":"Q1916333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79f686ea99f84a4b888f81a714f4f59ce8f37b7","datavalue":{"value":{"amount":"+0.8843265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145991$378ADF99-3AAA-43C9-8B60-A5F1F8454615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145991","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145991"}}}}}