{"entities":{"Q5055712":{"pageid":7085289,"ns":120,"title":"Item:Q5055712","lastrevid":91919534,"modified":"2026-06-05T00:24:32Z","type":"item","id":"Q5055712","labels":{"en":{"language":"en","value":"Computing ground reducibility and inductively complete positions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631108"}},"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":"Q5055712$58238D76-1C04-44F2-BF0C-85ACF410A860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a07d44f828b33655a4a585e5c2b1b31f514cbe45","datavalue":{"value":{"text":"Computing ground reducibility and inductively complete positions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055712$41E4ED7A-5ADB-4671-BD5F-07D2A73F85CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c7330866296ff027adc40559c3480ae0cbf08af","datavalue":{"value":"10.1007/3-540-51081-8_100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055712$AE1EF5F8-7962-4675-BFDF-23EC7D4DA623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38d5739fde494a17fe0709a4206e28f4eb13c3f6","datavalue":{"value":{"entity-type":"item","numeric-id":1350493,"id":"Q1350493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$B4DDCBCE-7195-4418-971F-0EBE36C675AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a36e2775790aea339f51177a635c0eb1b20a260","datavalue":{"value":{"entity-type":"item","numeric-id":1389630,"id":"Q1389630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$0AC59388-0800-43C9-AF9C-613652764DAD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$7624E145-BEA8-48E1-B3D8-AA84413B7D18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055712$28435C3D-2E76-4C72-BCC3-4B5701ACE7AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055712$8537487E-152D-4637-9FAD-0DF1767FD11B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd94f835a04ff8bfe48d03c8baef425529969335","datavalue":{"value":"7631108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055712$C0214480-7D45-45BF-8FFB-5D8F27A6C29F","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":"Q5055712$F4199D9A-C662-4AC9-9CCE-1B8C1ED446D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"892744c31972a904ea46200d18d139e69f08a715","datavalue":{"value":"https://doi.org/10.1007/3-540-51081-8_100","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055712$04103B5E-E694-4337-8B0D-177DCED574A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef32221edecc3f8de9608b9bdb9bd3d0dfb30b49","datavalue":{"value":"W2098162645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055712$B73DF260-2FAF-4331-A80F-AF486AB3CE9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f14fb53a175d4de66740354c037f2660b46eba3","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$8D47E310-16AD-4C35-94B3-0DD20AFD59A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$C12970FE-3A9D-4164-AA68-8628A7DB75E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"706dc1bd0a674d2529cf7888615cc60a3ec2ecd9","datavalue":{"value":{"entity-type":"item","numeric-id":1824381,"id":"Q1824381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$6E26D912-1EB8-4FB2-BC59-4FCEED34EA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$4A03493B-D541-4A6E-B009-2186A943DF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$7D43BF2E-EBCE-4F18-8641-3F637CD2B39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$6EABA558-C768-4654-89DB-870E55A73393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989303c3f01780ec3752ac791fe5233d16a37b4","datavalue":{"value":{"entity-type":"item","numeric-id":1094888,"id":"Q1094888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$4F367B3F-5F7D-44CE-9370-423239D50E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cfe00f727b087a386cc5c62c253e81e5e8c7c0","datavalue":{"value":{"entity-type":"item","numeric-id":3783519,"id":"Q3783519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$407B9171-2260-4378-A2A5-0C62EFA4040C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$66BDE100-9135-434B-8FAE-A697F9AE571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe37ba60d1d38231cb146c0ce87f7bab99a4d36","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$A5F5362B-3B24-4E93-B6B1-6C9DB2080532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa9ce8b4776bea0fbc531870b27f0223a4c6bf6","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$A09B7BC7-D882-4CD5-B177-DB061EC94B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136dca5eaf30010d2d4c0f6c9100d687138b0eac","datavalue":{"value":{"entity-type":"item","numeric-id":3956381,"id":"Q3956381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$67025573-19AD-4E86-8503-B49B40C21785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$1CDD8F6E-3DE8-4C6C-81FE-0F507D2C8F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c644393292b3f41469d648371f2669fdfbbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":3805961,"id":"Q3805961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055712$3BA1583A-E392-44C4-A3C8-6C2AB1360001","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f115c0f769483659495a9432673d125ab659e333","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84e413572858f43c250c5eb2d0189eb7dd65847","datavalue":{"value":{"amount":"+0.8360571265220642","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":"Q5055712$1909EACE-B1EC-4199-B8ED-B67ADDEA7511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f47441f1531deb52f2ca33b3fd446ddca85f13","datavalue":{"value":{"entity-type":"item","numeric-id":3819994,"id":"Q3819994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84e413572858f43c250c5eb2d0189eb7dd65847","datavalue":{"value":{"amount":"+0.8360571265220642","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":"Q5055712$8D066874-735D-4BDB-8743-AE3FEEB58F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163acce2d16b0e9c9f4a423021ac63e5bd5116b3","datavalue":{"value":{"entity-type":"item","numeric-id":4027631,"id":"Q4027631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c026cbde41a940769fbbd0454647875e0bd5c1fa","datavalue":{"value":{"amount":"+0.8273101449012756","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":"Q5055712$6AA64AE4-CEA9-46A7-A9F0-6FCB77BCF547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a69148a98bb8be578ebffce87b8b01398d403a2","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c026cbde41a940769fbbd0454647875e0bd5c1fa","datavalue":{"value":{"amount":"+0.8273101449012756","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":"Q5055712$80D1CEB3-7D89-4EC6-8DDC-B87B0E9F1ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8122b7b4ce7a08e2bab37d853a8c08eb2bb66653","datavalue":{"value":{"entity-type":"item","numeric-id":5055821,"id":"Q5055821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7322f07f4b42915e608bd5748052f62f2bf541e0","datavalue":{"value":{"amount":"+0.7899138927459717","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":"Q5055712$0B06B142-1D5A-493D-959C-B9E8EFCFB7B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing ground reducibility and inductively complete positions","badges":[]}}}}}