{"entities":{"Q3794178":{"pageid":5824084,"ns":120,"title":"Item:Q3794178","lastrevid":52906436,"modified":"2026-01-23T19:00:18Z","type":"item","id":"Q3794178","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059392"}},"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":"Q3794178$6B702628-BD1F-4872-B622-07E6EA41E945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8b8c445851092b07e431dd972b1f4c8e22f144","datavalue":{"value":"0649.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794178$562D317F-E3C0-4FD9-9213-9DFE38B34304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202384c22915715f42b7278cfa2bc8d6926211c","datavalue":{"value":{"entity-type":"item","numeric-id":684959,"id":"Q684959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3794178$CAC17443-4D96-4B94-AA00-E62D317D81CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3794178$09A1B88D-9364-4C9A-809A-874FD42E7B78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794178$9AFC0137-5980-4C43-816F-1092D6AF62C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794178$AAFBB127-E25E-44CE-90A7-908ACFBBC419","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b308df85c4ec2397c7ab8c418caf1d0b82be01","datavalue":{"value":"4059392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794178$91081393-C4FC-4DA7-8DAD-B04124619D01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794178$10AF79DF-A300-431E-AEE7-0B91896C7AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d58f37ab9b7e3036b8a7b08ac660559cf276790","datavalue":{"value":"Kreisel conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794178$2DA61D31-E0A6-4E71-92D6-542417526EFA","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":"Q3794178$1EE96F5A-9C52-40C5-8217-BFA56CC3085F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c03e779de48d8fec7f58c70811109cb00fab0bb","datavalue":{"value":{"entity-type":"item","numeric-id":1377574,"id":"Q1377574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8692d137a0bb54ba00d31fdf9de220f2a25d36e","datavalue":{"value":{"amount":"+0.8908063","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":"Q3794178$1DAA33E4-3F6A-47B3-B6ED-5EFCB53C38DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03c03ae6b93fd2dbc49ea769a2caa3a22bd5f00","datavalue":{"value":{"entity-type":"item","numeric-id":2872492,"id":"Q2872492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d64c9497641023931c66cb2810fd805d9924dbd","datavalue":{"value":{"amount":"+0.86656785","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":"Q3794178$0208A010-4DAF-498D-9332-C501332C8ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de85077b5f073d5e1438d1e77dfe6d975fcc68b","datavalue":{"value":{"entity-type":"item","numeric-id":3705454,"id":"Q3705454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"700387d64f9107bcd820c0a3fbed87566152c619","datavalue":{"value":{"amount":"+0.86333305","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":"Q3794178$1BD9A052-FC1E-408E-8837-7687D84593E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee83988f476f921af1250d995a553d24ff0479b","datavalue":{"value":{"entity-type":"item","numeric-id":1071760,"id":"Q1071760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edadd0e74be8212f24374af6681bc3ae12985fc7","datavalue":{"value":{"amount":"+0.8627683","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":"Q3794178$D5FED116-DD67-44AC-ACC7-1FC42BABA2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce097c72792ea69adc8f868592adf87fb96ab85b","datavalue":{"value":{"entity-type":"item","numeric-id":5055719,"id":"Q5055719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a38864c7410ed1f6600e24df1d30f85d50eccb","datavalue":{"value":{"amount":"+0.8616169","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":"Q3794178$B978884A-D2CA-44C6-9200-AD7AE32D7870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f92ccbc49632ca8cad828d551599de73d0d4e93","datavalue":{"value":{"entity-type":"item","numeric-id":1938620,"id":"Q1938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4199c6ca1e5d7992a65931d7ca52a109fbe4a2","datavalue":{"value":{"amount":"+0.86145115","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":"Q3794178$6367043B-F160-44AB-901B-4846E9C1C563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc26583b64fc9b53b7a02007f2089eb749293d24","datavalue":{"value":{"entity-type":"item","numeric-id":3724329,"id":"Q3724329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42529a6083affe29fafff36f60773159967fb8c","datavalue":{"value":{"amount":"+0.8600884","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":"Q3794178$4D27FBEB-B395-46E4-B6D7-0E7EC0BE0D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c21ef1a46d97da656f13dc6facb127bd9a2127","datavalue":{"value":{"entity-type":"item","numeric-id":1295443,"id":"Q1295443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b54bdb2a307d01a7023cad76fce01e880cdf4bb","datavalue":{"value":{"amount":"+0.85777396","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":"Q3794178$1C1FC5F8-A293-4CA5-A493-95189C287D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ea6388c7a6eb11fbaca42ccc3d6eacbafc4e12","datavalue":{"value":{"entity-type":"item","numeric-id":3722494,"id":"Q3722494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc451f20aafa0912a70c6156549b2eb4065581f","datavalue":{"value":{"amount":"+0.8567337","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":"Q3794178$47784CCB-2C45-4BA0-B3AA-E13EF4E238FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aed8b15f4505adb9e56c6f28a3793f6caf96ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4850554,"id":"Q4850554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"879600457f1ea96f4295646ae02b24f4e4af14d9","datavalue":{"value":{"amount":"+0.8564618","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":"Q3794178$FEBEF12F-3110-4E63-A686-F5100AE77F96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3794178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3794178"}}}}}