{"entities":{"Q4496851":{"pageid":6526444,"ns":120,"title":"Item:Q4496851","lastrevid":47032914,"modified":"2025-12-26T02:28:15Z","type":"item","id":"Q4496851","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493054"}},"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":"Q4496851$94E3A5E8-875F-4DA8-9B86-C03E379845C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7624c468bad1707f8f93d14e72315616fc0f8f3","datavalue":{"value":"1013.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$728682D1-BA7C-4332-89D1-60B4CE561FD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bad4f4466d23f29df03df6fb7ceccb2f6d1efc1d","datavalue":{"value":{"entity-type":"item","numeric-id":195373,"id":"Q195373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4496851$2D87C3FB-0989-4E56-822A-942A6763DDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db2fe20e7af1bde4dc050e6d480bb6b9ca259444","datavalue":{"value":{"entity-type":"item","numeric-id":702484,"id":"Q702484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4496851$F715ACE1-5B76-4BE5-B976-D276AA2D8891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bac891c0ceabea3bd599bed0bea4378bb1bd387b","datavalue":{"value":{"time":"+2000-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4496851$9534A2FF-9865-48D2-A4C3-680F3633EB03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$5DAB8E87-09F3-4FB6-B8F6-0EBC0C7D0301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5106252eb72617afc052c075699a4fbf786bbc66","datavalue":{"value":"05-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$019D9EA8-B913-445C-86D5-ED5EB841A11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$D8B7CEB7-540E-42A4-B9C3-6383F1E14112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$C1EEFD4F-3A06-4067-B89E-6733EB64CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$4D1671B4-58B7-420B-AA6B-11C323FC7952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$CE0FE0A5-D0D3-4C2B-A391-D3ED8E27DC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$95865C88-E251-4538-8B20-DD61A091C6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$FC7FD10C-8E13-4F69-B452-DAB418EA0777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1a97a7188d4143e338e99eba7d65493911702cf","datavalue":{"value":"05Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$14578990-DB0E-4AE3-B853-028D28110457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$2F4B8ED0-21A2-4C5C-B31C-1C45814EE35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$7A8954D2-5EC7-4893-916C-FE406F4A6DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$28E02825-D840-4DC8-9B22-6E1B52E5D97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$35943A69-D15D-4868-AEDD-90D8F3F8D7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$D8E15730-709B-4615-9868-F26CEC55439E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$16065724-44AB-4CB2-BD2D-5D9CC33B60B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e51e41dca0486bd0a74a5ea154386a4896446075","datavalue":{"value":"1493054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4496851$42F9440F-D535-4934-B39E-5AFE83D9D8A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc579621c56957e3dfec6951af3f9ace610919af","datavalue":{"value":"implicit definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$9B12FE61-B6A3-4425-96AC-E791BEE3C784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9f05278af60867dda6e5adeaa10efd6837e1da9","datavalue":{"value":"morphisms in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$D6B390B5-FFC7-4E38-BD0B-D0BD98C161E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$CEE2F70F-FE57-49FB-9AE9-04969B55EC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$CD4C3365-1FE7-48B3-8116-8801FCD5D4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"789386d2db874eb7c464a6c6adbdc90ff4738811","datavalue":{"value":"visibility graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$488093A4-9F11-4B71-816B-F3B1F00E2045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$C5FB50E6-F89E-497A-AD67-58C9E778E7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b1f472ad5ac2f6e1bfefc1f095ee27ab78c9180","datavalue":{"value":"complex formal objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$C284A274-BD97-40B7-9638-94E7BEADBFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"614d88d59f361d2d6b9adacc8d9751a483cab710","datavalue":{"value":"symmetry","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$69466750-DF16-4E25-816E-628A0331D6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d34d025e174540b2a3d3033ad0ce83c9789f85","datavalue":{"value":"recursively presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$36B6E741-7F77-4FC2-921E-CAA68A1697EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492952222f0a3d8997097bc5e263a894a664b61a","datavalue":{"value":"oriented graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$C900551E-E4DC-4616-B585-64A5B240406D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$B1A3C643-A67E-444F-BED6-6A715DFC22C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$BA6F313F-B984-4658-A379-A0DA5C4BC303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$8C2C7EC4-32DE-453E-A069-8EC9E2B8A25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$C63016F6-3AB4-4674-A684-5D140767221A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$28BA656F-7164-44B4-8DCE-CF3ACD5B5863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$EC54185C-5265-4F21-85E3-F12212BBE55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d242ed30b864bebe3d7f69deb27127b8355625a","datavalue":{"value":"graphs and groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4496851$B32666E5-4B49-47A1-A572-95C490DE5F29","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":"Q4496851$5EFA0A8E-17B7-4679-AB68-57901574A819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d303772b052faa4eb01e77a3df7391bdc8cf899f","datavalue":{"value":{"entity-type":"item","numeric-id":5703829,"id":"Q5703829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59ba4f18f84ad7487e48dfffca44304dbcc9514","datavalue":{"value":{"amount":"+0.6642027497291565","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":"Q4496851$A40F413B-C923-430B-B2B8-33CC02BCA45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8008e45298675cd047c5fdfbc895205a7c8ef914","datavalue":{"value":{"entity-type":"item","numeric-id":444388,"id":"Q444388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d3ff33a8261a0eae36fced5ec87deaeaf7cb2e","datavalue":{"value":{"amount":"+0.6570175290107727","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":"Q4496851$E8FC9BF7-9187-4654-8C28-0A2CF518D9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05c6b2d615de905b00b92becff6d557958a739e7","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae31a2b16108e2d28fe2cb71f54e6d5b761e3c22","datavalue":{"value":{"amount":"+0.6563631892204285","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":"Q4496851$F4655D24-BF17-49C7-B189-CFB0F44335AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f16aae11e29e0ffd7a147364e56a42bacea710e","datavalue":{"value":{"entity-type":"item","numeric-id":5068535,"id":"Q5068535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95223bf817da321161907f0db84d245448107364","datavalue":{"value":{"amount":"+0.6448034048080444","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":"Q4496851$C74D039D-EAB9-4024-813A-D3E9C5F173A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11121f53c495d68af105445093d85549db0c18","datavalue":{"value":{"entity-type":"item","numeric-id":3688529,"id":"Q3688529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639af478c270f63b2ba0d3ac51d05889c8ff4d59","datavalue":{"value":{"amount":"+0.6433057188987732","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":"Q4496851$E4A177CD-2E50-44DA-B1BB-B9011D4BDC91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4496851","badges":[]}}}}}