{"entities":{"Q4364517":{"pageid":6394116,"ns":120,"title":"Item:Q4364517","lastrevid":46520241,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4364517","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088202"}},"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":"Q4364517$47C630A6-82CB-4280-83AF-C4618C1941E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f06983a23718d9cc17d1180cefb73bbfb54c32e6","datavalue":{"value":"0887.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364517$3694D4F9-E3A6-4529-9445-35733B8E3251","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15eb66f6c7426c1673ecda4dcaa048b2fc1b5d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4364516,"id":"Q4364516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364517$9D266C16-3125-409C-8CD4-467124068BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364517$9FDE3AF1-D661-4408-B978-030A621D65D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-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":"Q4364517$1D18DA2D-0ECC-44BA-807A-4D98B30EACA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364517$233BB4CD-7EE7-4030-B8A0-B32BFA84A6B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d0ca10f264952bee5f71a2383e566188fcdd3df","datavalue":{"value":"1088202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364517$C899F91B-7F71-4A2D-B5F9-DCA6AAD1C386","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c98e3dc64270ec0de715f8b38eca46cbd549427","datavalue":{"value":"model elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364517$1462E2AF-FDB0-4007-A22E-5709CF5499FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4879e8c35d56fd297a402f7c1eba53238e04d57b","datavalue":{"value":"proof search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364517$934A6D6F-95FA-4BC6-86D9-447B933F5174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364517$F8FD77D1-790E-4E7B-8C2A-1EB48D2EE178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"526025801589f58e7606d5ea18d5b8cde00de02c","datavalue":{"value":"selection function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364517$5413E685-5B5C-41AA-8DC0-935F34A9C9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ec6f38b7bb627a4d1bc9f7e98dfaa4173fa94a","datavalue":{"value":"restart clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364517$DACC1871-2C28-475F-9095-48B5ACB56A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"640a598ff2866c9a773c1a37ed1e0deb9953b86b","datavalue":{"value":"proof confluence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364517$6A8956D9-3081-486A-8A21-15E225FF2F47","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":"Q4364517$7F6853A9-0800-447E-9C4A-3938C49A3495","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5dc85744a58895b351d6c7f27ac3cdc3127642","datavalue":{"value":{"entity-type":"item","numeric-id":4610325,"id":"Q4610325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2730f85658947635312991e500f40f1f3af0d3a9","datavalue":{"value":{"amount":"+0.7973445653915405","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":"Q4364517$C72D9080-40CF-4859-9788-1DDFCD4AF37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7373d13bb0ccae0f903a8d088fabf53943c32a4","datavalue":{"value":{"entity-type":"item","numeric-id":4524784,"id":"Q4524784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffeb931c4c4cfda6f1c7ea9f10372944cd2e4fc2","datavalue":{"value":{"amount":"+0.7950080037117004","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":"Q4364517$090D00FA-645C-45E4-BF35-68EA0B7A4AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6731c47dbf1c391e70bd87f294f63921f8bfd787","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db81714f29c6f07f79a6ae5723784dc188d3e8e","datavalue":{"value":{"amount":"+0.7700207233428955","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":"Q4364517$E1B903A5-3EC7-41CC-8CF7-C9805E9D2A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a8e7d7550269b5742f31657ee60e882454b81b","datavalue":{"value":{"amount":"+0.7684683799743652","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":"Q4364517$EF445FF2-0ACA-4229-B771-9748B7F2C755","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364517","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364517"}}}}}