{"entities":{"Q3192187":{"pageid":3202895,"ns":120,"title":"Item:Q3192187","lastrevid":45644443,"modified":"2025-12-11T20:20:24Z","type":"item","id":"Q3192187","labels":{"en":{"language":"en","value":"Finite Quantification in Hierarchic Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348233"}},"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":"Q3192187$B1BC20E2-731A-4891-8123-04099DBE7C8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f513e8d4c5fc82915b8f8011392ab002f628cea","datavalue":{"value":{"text":"Finite Quantification in Hierarchic Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192187$EDECD425-DA33-4910-9175-1677B78242B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7fcf43b65888c5f853dd54d4babafcec63d5d39","datavalue":{"value":"1423.68407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192187$70131DB0-D0C9-445C-8BB2-E90FD0BD7F08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e908d340b2f78f29d5fb3ae9a84e5289e7234301","datavalue":{"value":"10.1007/978-3-319-08587-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192187$D44C5126-A10B-495A-8A75-3B205456DC04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192187$58378830-30B8-4D10-B993-880DCBC1242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1f70027974d5969ecd348e3a56b273cdf65e56","datavalue":{"value":{"entity-type":"item","numeric-id":2870116,"id":"Q2870116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192187$AD6AF0AF-516A-4342-A685-9B1F8BB13047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192187$C86A3A76-81FF-42D1-8017-677E95E707C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192187$49B957D5-2CAF-4F62-951B-6F6BA335D035","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192187$387FFC6C-9CA0-441B-B5A1-BE5865B1D92E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192187$09DCCFFE-64C1-4723-B18C-B0ECD6A728DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192187$C7D98442-FB7C-4D49-AE82-B740F6F6C531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"033b2614fdcfa27f733ecf33c3f1fd7ce01a7dbd","datavalue":{"value":"6348233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192187$A8B9900C-1817-4DB0-95DC-3CAE940C096E","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":"Q3192187$EF4A1B7F-EC8A-4C31-96A3-D62530BE79F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c897c6ab0531766bc8dc2e41fdad797ac3aee43f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192187$E305028A-6106-4E8D-969D-763FD497AC7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc0f01cd26b9c4166ac4d676585e9d21605cad16","datavalue":{"value":"W1489937864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192187$7CE631DB-ECE2-400E-A39D-37444B49BCB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dba73bc93b36b44c3e17c0494079c469ef5e18a","datavalue":{"value":{"entity-type":"item","numeric-id":2996134,"id":"Q2996134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28151cfb651ee5baa393a14b98fecad1b16c152","datavalue":{"value":{"amount":"+0.9124978","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":"Q3192187$BD4E44CE-5D4D-444E-8C6E-1E942741BBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf293c5c23c79b1813efb239c0a3d05e092d5072","datavalue":{"value":{"entity-type":"item","numeric-id":2510771,"id":"Q2510771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a03014914f69077731df79fc66d9f9d501c0dd","datavalue":{"value":{"amount":"+0.91098094","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":"Q3192187$33385896-C290-4447-90F6-6628BD106E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27bb16c56b01b547484be486ea212678e509d907","datavalue":{"value":{"entity-type":"item","numeric-id":5028310,"id":"Q5028310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4ff94348636d5ec0bb578093dd22cc4e3a271b","datavalue":{"value":{"amount":"+0.9082644","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":"Q3192187$2441B64E-67F9-40FF-885E-0C1BC8FED5B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0099a73ee3131f8602b2c524555c088da016288b","datavalue":{"value":{"entity-type":"item","numeric-id":4395562,"id":"Q4395562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d4b9c0c5922fe555acc72010c88c396d6aec71","datavalue":{"value":{"amount":"+0.90575045","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":"Q3192187$2FD9118E-9A76-4F20-BBF3-72D16D136DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aad33a778934753b89e2b7c0362948ddf48f4e","datavalue":{"value":{"entity-type":"item","numeric-id":5687317,"id":"Q5687317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0b0ac428a2eabd5f336ad747898f10000006d3","datavalue":{"value":{"amount":"+0.9054145","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":"Q3192187$723572CD-BF2F-483B-8A7F-D31D282C62A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f91f2a04af7ed716280a69b31bd5722b64e604","datavalue":{"value":{"entity-type":"item","numeric-id":4246725,"id":"Q4246725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0496d6c58194c5a5de39f2f938956cbbf555800b","datavalue":{"value":{"amount":"+0.9038464","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":"Q3192187$68B65FF3-8D90-4C8E-9B5E-8E132FE3E7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3858e1634101a8fbbcdac056ef503d49e96eb9b","datavalue":{"value":{"entity-type":"item","numeric-id":5884936,"id":"Q5884936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa76438f24aed5f323139b113f5f1aac0d5f5dc","datavalue":{"value":{"amount":"+0.8982204","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":"Q3192187$7C745D3D-B0B5-4278-A430-3CB710C08ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d0b245885a867d601abe87d23ba63b6a3f7bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1824614,"id":"Q1824614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e1bc7fd960a46ccf2c015b99f1797eae4ce5313","datavalue":{"value":{"amount":"+0.8975893","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":"Q3192187$34559187-A1EA-49A4-96A6-9565BC2D2055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a0a198dbcd0f5e762a31f07682b48e6da4c9748","datavalue":{"value":{"entity-type":"item","numeric-id":5957922,"id":"Q5957922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ee6a549229915d092a6b0cb47a22834d8ea900","datavalue":{"value":{"amount":"+0.8970956","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":"Q3192187$B6BCB823-ABF1-4E98-BB5F-D7FFBFFDA417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ecae2da48cc5077a2cb61d68469a5ebeeb0ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4336265,"id":"Q4336265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e1081a51422d9c926da721d144bdb2e532c6f4","datavalue":{"value":{"amount":"+0.8959219","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":"Q3192187$9A092452-4B87-47FA-957E-7CC4E4D1B866","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192187","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192187"}}}}}