{"entities":{"Q5307076":{"pageid":7336650,"ns":120,"title":"Item:Q5307076","lastrevid":50171729,"modified":"2026-01-13T08:53:26Z","type":"item","id":"Q5307076","labels":{"en":{"language":"en","value":"Automated Reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5195168"}},"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":"Q5307076$B57BA827-1E6C-4A61-BD7B-EF802ABCE368","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee7003f7206c6919a03a135e6ae062ffff5ad19d","datavalue":{"value":{"text":"Automated Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307076$3D11B96D-52A0-453A-BD30-3CBBD877A883","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08ef892bfeba3f0315fc5bbf12a65538d4b9a68c","datavalue":{"value":"1126.68562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$8C125ACB-4794-4775-8853-50AE19D17F82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aabf2394201dcb7bbe23a34a5fcb477729e6b00b","datavalue":{"value":{"entity-type":"item","numeric-id":928663,"id":"Q928663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$7D4E48CA-F924-4705-AA0B-A6F2B67BAEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63a8ceece294270cdd3e0740817fe33ec4f8e10a","datavalue":{"value":{"entity-type":"item","numeric-id":862391,"id":"Q862391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$CE00E4D8-4102-40A4-89B1-D4445565735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae7b209f4f6620b5b1c5d47a6aa15c4f2fbff1de","datavalue":{"value":{"entity-type":"item","numeric-id":862392,"id":"Q862392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$87BA4C6A-937D-4D69-976B-49C3B45CEF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"494dd4585cfad359ccd3dddd71945557ced4e97c","datavalue":{"value":{"entity-type":"item","numeric-id":168887,"id":"Q168887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$71A5C077-7C17-4FA3-B927-D398D5DF1829","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$5DFB5C89-FA11-4C6A-B600-CA2237FAD226","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e1fa8a744de31aab5e0066db3d2fb556fbdf6da","datavalue":{"value":{"time":"+2007-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5307076$81F32CF8-70FF-4A0E-8139-B93100DF1E0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$D4E8B355-F02E-4159-B1C0-098CD34CC812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71b29e038927835d80b9bb53b3e801af19bf25ea","datavalue":{"value":"08-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$0FB84C64-8888-4A60-AB71-40A5DA988B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$DB354586-05B4-4049-A4FC-45CE2D26041F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"253e98ca23729834763776eb0a3c1182969d4a46","datavalue":{"value":"5195168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$1D4FE70F-2D8F-4558-9F00-CB35960E4BE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$DD562487-7A21-45C6-9DDC-39ABDD25C111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$417233CC-A089-40C4-81D3-E4D33A2AB64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$BE15003B-7E98-481A-98F7-121AF4984AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5424895cd06947db50aff4fb92d088f3cd4d067","datavalue":{"value":{"entity-type":"item","numeric-id":24107,"id":"Q24107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$5E2B6BAB-F121-479C-93D7-3DF5F4FE0B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307076$31050522-DB47-4D52-99A2-EFB367B69B3E","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":"Q5307076$9D8B4645-4DDD-4ECF-91E6-F0DCA6C02E84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da687b8d72dd2f5ab38e00c50bffc670fa7530e6","datavalue":{"value":"https://doi.org/10.1007/b98691","type":"string"},"datatype":"url"},"type":"statement","id":"Q5307076$9B5985C6-2CD6-4E21-89FE-1995BA92F437","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb348346dc0cdf3ace0e3b09d24ea275e65f380","datavalue":{"value":"W4239036627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$5056ACE1-C658-4F7B-828A-96BC4346867B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34deb55cc48d114486737150022669bcd21a8f20","datavalue":{"value":"10.1007/B98691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307076$291CEE1B-6794-4F61-8790-77DC1C4155FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1acb5d9ceb230375ac0a6b62d110223695d3a64d","datavalue":{"value":{"entity-type":"item","numeric-id":862393,"id":"Q862393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083a8d9f7bc367e512fbc66f4b7e3993d79994cb","datavalue":{"value":{"amount":"+0.858201265335083","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":"Q5307076$851C98AA-52B4-45C8-869D-A978DB34969C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7339ee79e14d354d8209530e4ebcf73f8495dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":3568690,"id":"Q3568690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45aff3698adfff7da4d021641d7dd4466e7557a6","datavalue":{"value":{"amount":"+0.8170005083084106","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":"Q5307076$1C79EB9D-CE62-40D9-BCB4-5D0623FF9530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d199300d4e11d3efab204cb1fd557d672950ed8","datavalue":{"value":{"entity-type":"item","numeric-id":3613399,"id":"Q3613399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff8759d631bb57c83d9001675187f1c4261eb4c","datavalue":{"value":{"amount":"+0.779846727848053","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":"Q5307076$E17D388D-5A56-4871-9D20-185FD2D06610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0b93ac8662c195b7eb654c402540b15f92b89d4","datavalue":{"value":{"entity-type":"item","numeric-id":928664,"id":"Q928664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a466cc82f63013f724ded77cc8e9afdefcc5236f","datavalue":{"value":{"amount":"+0.7747534513473511","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":"Q5307076$8A90F4CA-C51D-4B52-BFE7-55944BD2434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde185a37d2ea1070be8da647641f67c181ed492","datavalue":{"value":{"entity-type":"item","numeric-id":3568233,"id":"Q3568233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be3bd653a0e3c1fd3cf27092574e60b5f1880b7","datavalue":{"value":{"amount":"+0.7394872903823853","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":"Q5307076$7CC9B3FB-3412-42C7-8E57-DCAA38B69692","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5307076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5307076"}}}}}