{"entities":{"Q5206958":{"pageid":7236529,"ns":120,"title":"Item:Q5206958","lastrevid":53622587,"modified":"2026-01-25T10:54:45Z","type":"item","id":"Q5206958","labels":{"en":{"language":"en","value":"Certified reasoning with infinity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7145922"}},"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":"Q5206958$3D2CD357-0B79-4BFE-BCE3-5EE65583ACB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3df65618d23dad979d6610083a7cbfa8ff840454","datavalue":{"value":{"text":"Certified Reasoning with Infinity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5206958$54A883B7-C330-43B1-8E8F-3DE99FE42F0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b7e94de35bfc6b6ef2a153de67ba8d4741dd264","datavalue":{"value":"1427.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$A51B26E3-EDC8-4FD2-94CA-4DCB620602E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f7f3bb4e2d5ce19e44b43bf36b87c06662e4024","datavalue":{"value":"10.1007/978-3-319-19249-9_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$4349CDD5-1410-4193-8117-055600AC6C62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76d9fb69e5650811d41f694a262a58839f1a142c","datavalue":{"value":{"entity-type":"item","numeric-id":5206957,"id":"Q5206957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$BCC663BA-0CF3-457A-BBE0-074EA6F968A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12353177bd125f82d5602ba38f83c91525cbcc8e","datavalue":{"value":{"entity-type":"item","numeric-id":448010,"id":"Q448010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$DD1648CA-F62E-4CB9-B555-2693B669393A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb6df36abb2ee6b1a0d9d4823bec7023cab9e01","datavalue":{"value":{"entity-type":"item","numeric-id":5041089,"id":"Q5041089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$52548414-4DF4-47CB-9F9B-A9EF2F191F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9394590d5c791476eee96a2fc2c66d87e6d79c43","datavalue":{"value":{"entity-type":"item","numeric-id":832309,"id":"Q832309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$E1447B43-2839-4616-BBCF-8159834DA33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$935CFD60-5ADC-4777-B6C0-4633544893C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea507ca7ecb53fb64a642a5e1bbd9b47380c0a44","datavalue":{"value":{"entity-type":"item","numeric-id":5206946,"id":"Q5206946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$81989D61-0E15-427B-A1B5-D11B89E6F752","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad2986100f8e8d7278a8296353b8e4d3688509f","datavalue":{"value":{"time":"+2019-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5206958$938B8DDA-D26F-4592-89E9-3765E85B668E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$041B8FEC-F4C0-4767-AFB0-29B19A3D567F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$2B384241-6F64-460E-AEE4-720BE647BDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$D2594F3A-D5C3-47F5-8530-B06C7D1513E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b72d1165e05d0d53e3ae05096c876fcc612d7ce2","datavalue":{"value":"7145922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$7E8AE73A-08E5-4555-81E5-7F98F3B2987E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$6E4D4966-3E07-4C46-8C57-CDF862017910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$2C50D69A-BAE1-4B50-8FB7-824256E6C1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$7AE1C469-A732-4DDC-AC0E-D43C70711005","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":"Q5206958$9FE64560-0344-4935-A081-A5D02546E9BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7695dafcfbb12c1acd7a2eeda954fdcae48ae535","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19249-9_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5206958$6C161725-0BD2-49B2-AD9E-0DD9A9C689ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c2c6075040d0486b09d76b847f963c4e0731568","datavalue":{"value":"W2293472070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5206958$BD0445E5-7200-4719-9500-4B1950553166","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$7ADF5EB7-4223-42C4-B818-C3C5B13CE3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8bc78f431ccae9a857e05e249ada0d94b22ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5387443,"id":"Q5387443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$F7A0F5C2-9F88-4E57-B1F7-14B23E44C3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be7638796320e0bd21589c519d4a54a0b3ddeef","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$179F207F-5232-448B-83C4-ADCD608EAB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$36CD1ACC-A24F-46B5-BAE4-2DA28D4F3A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$7A25CB47-2C01-4D88-AF19-58013F82E440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a3a51e512a42c2be939a3e8e6461bad195e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4913868,"id":"Q4913868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$40406568-CD62-43AB-ABDF-E396387886FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9ca3be8e7753cec5d677b8502bc0a86da6a6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4858739,"id":"Q4858739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$CBD3C6E1-6085-4299-876E-6001F7239D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef552af965d052b8ba64fe1fd78aa90edf47625","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$BA3D04AD-6263-4177-8528-2C8A0AAE682E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278276176b213e20723f5199a3fe875c19d6492","datavalue":{"value":{"entity-type":"item","numeric-id":3608775,"id":"Q3608775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$1CB581B7-EC4D-4D3A-8A63-DA04EB57739D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0d61ca6f5627c9026d708a36120d86c97b391c","datavalue":{"value":{"entity-type":"item","numeric-id":3644100,"id":"Q3644100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$B60C8AB6-4E61-4FD9-9AB2-18E646ABA0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$D4989EEE-3685-4BE9-9775-87AC3D615959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f146ef032705198a0202edddd0325ae6774f2a","datavalue":{"value":{"entity-type":"item","numeric-id":5716590,"id":"Q5716590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$711FEB84-1D34-4936-8960-7641552C4E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182ecbb78c47524d1af179be8a6db89bbd0439ab","datavalue":{"value":{"entity-type":"item","numeric-id":3344398,"id":"Q3344398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$2510A2CA-2F36-4B2E-8AE6-577D62851BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$E253053D-5255-40ED-A929-9E497850C363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cdca2c13e6565f2cdd29e0b7f5ce54fce0c0a91","datavalue":{"value":{"entity-type":"item","numeric-id":5452719,"id":"Q5452719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$8280F02D-067D-4D88-8965-793832844F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd3ae9ecaf03e669578b5127403b6c5be6add45","datavalue":{"value":{"entity-type":"item","numeric-id":3512499,"id":"Q3512499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$BECA0BC7-162E-44D3-B464-7EBCF3160575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$A4178A25-DC29-43F3-98CB-90439EB584C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5206958$B88BE181-6FF7-4DCD-AD5E-A881AD43FF9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc321aed07ee18fb680ff28bfab963ac2b663b56","datavalue":{"value":{"entity-type":"item","numeric-id":3644100,"id":"Q3644100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2706c4ad318da5a689ba7bf8787a16da04310820","datavalue":{"value":{"amount":"+0.7311530709266663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206958$9634FC02-A848-4DFE-83B6-A0A20FC03E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f9c2f71f82915a94d53fc3cd1fa7d2d5cd021d","datavalue":{"value":{"entity-type":"item","numeric-id":812390,"id":"Q812390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca58285041d7bd2f16b8bf79a0539947c8ce18a5","datavalue":{"value":{"amount":"+0.6993314027786255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206958$641C6772-BB97-4301-9598-FCE6A31B5065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae29bd780743e18e6944de60c6d55a1cbd7e096","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0384e869ae697795cd017f8a70aea044c0d2dae2","datavalue":{"value":{"amount":"+0.6789702773094177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206958$01B65221-EC68-4407-AACE-4CD233E52A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7b8bb72e0c80f6e372a8a89999c6bac81cba3","datavalue":{"value":{"entity-type":"item","numeric-id":5387851,"id":"Q5387851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa69711dac5d9f53f76fc8723b3ff540b609107","datavalue":{"value":{"amount":"+0.6782532334327698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206958$DC697822-D417-4266-83D2-E23B4B5DADA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"321dfc3b4c9c7651a8484ba5234ad14e8d589acb","datavalue":{"value":{"entity-type":"item","numeric-id":3179308,"id":"Q3179308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e2ec7b37d5f04e3a0581f6751e7be1976147a6f","datavalue":{"value":{"amount":"+0.6775578856468201","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5206958$2E8DE9EB-9AB9-4519-8949-B0A88BA8EAD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5206958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5206958"}}}}}