{"entities":{"Q4643216":{"pageid":6672797,"ns":120,"title":"Item:Q4643216","lastrevid":53088920,"modified":"2026-01-24T05:01:06Z","type":"item","id":"Q4643216","labels":{"en":{"language":"en","value":"Shelah-Stupp's iteration and Muchnik's iteration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6872355"}},"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":"Q4643216$D8C34C2C-865D-4331-A03C-200CAA96A44E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60579d177db44ba6b3c41c7116e0d7edad5be26f","datavalue":{"value":{"text":"Shelah-Stupp\u2019s Iteration and Muchnik\u2019s Iteration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4643216$D2C0C81B-A230-4B6F-9DF3-2DF7310E33BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c07b817d0a2b4c333583582cb8bf58f6142df259","datavalue":{"value":"1436.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$84DF1D8B-9A6C-44E1-9C56-DEA0A670EF8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f337b91738fd03721015af996c3fa3bcf4581471","datavalue":{"value":"10.3233/FI-2018-1667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$248D4AC4-3905-4C06-8E63-5CE735E42477","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643216$09B80C06-E199-4990-BEDD-B5182014CD51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c597f58fee4116e99c26124cb0287e47f96a30d","datavalue":{"value":{"time":"+2018-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4643216$9EFDC174-EDD0-4EEF-9FFE-EC399B6C5981","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$BB060711-9A2E-48B1-BCDA-E4EE88C642FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$477D7DB9-5B07-425F-ADBE-F78E102AF4CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ebc9d4450cd832df8bae66424d3d0368d887263","datavalue":{"value":"6872355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$E161EC1A-095F-4D2A-8C3B-B14BAD425904","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643216$37A7A95F-7010-4044-9B0E-9F7F824745DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d53ba044edc760408b5d163217f20fb556cc0582","datavalue":{"value":"structure-building operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643216$812B4187-C656-4A26-9DD3-4BCB866EE506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee6f685751a7154d287ec151fe3c1291c00e843b","datavalue":{"value":"Shelah-Stupp's iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643216$4E5F42CF-47E7-4F66-820B-D8A5D19A882B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c71da5dac6a2d936b965f67749030c8887c3efc","datavalue":{"value":"Muchnik's iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4643216$404AEECC-6C59-4A74-8CDF-FF5F1FE6F22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80bd59cd009842eaf1c170b649eeda5dece3b2d9","datavalue":{"value":{"entity-type":"item","numeric-id":685353,"id":"Q685353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643216$F4B28740-971E-411D-B943-D4D215B3DB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efec1e7065f99212811d548ab767d361f5a520fb","datavalue":{"value":{"entity-type":"item","numeric-id":590634,"id":"Q590634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4643216$F0D5F016-55B8-4868-97EA-C88DB9836186","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":"Q4643216$E5C3D463-8E01-4E01-BC63-2E26A530B70A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32377e35296de34b0941451ac9c33737e18e9a23","datavalue":{"value":"https://doi.org/10.3233/fi-2018-1667","type":"string"},"datatype":"url"},"type":"statement","id":"Q4643216$FAABFF49-13BC-4CC3-9872-4BA9BFEFD381","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f2a177ca8dd6cc457c721e65dcfd098ab9aa9f5","datavalue":{"value":"W2792936811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$6D238810-67A3-463C-82D6-2F832AFBD1D9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c1ed46a00f1e3fd9255242c605178dd24d15cd83","datavalue":{"value":"Q130077027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4643216$023845D3-9DF4-43E6-B264-5E0817D37E5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0725a600532bf43b254da1c2195ae364b0388a22","datavalue":{"value":{"entity-type":"item","numeric-id":4910742,"id":"Q4910742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd4e3a0d8148181aca1cf0bf5c73c8616c45f8b","datavalue":{"value":{"amount":"+0.8976098299026489","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":"Q4643216$5D5D6A58-BDCD-4A0B-8FAD-5A5EA634065E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b46910b25a14cefda9f1e1043678542847f150","datavalue":{"value":{"entity-type":"item","numeric-id":4412839,"id":"Q4412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8d7e51f0a4deb64598039d4d1ab64dd1668300","datavalue":{"value":{"amount":"+0.7910752296447754","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":"Q4643216$2CBF6E9E-FEAF-4071-B5F2-8B1E61C8F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d1d69a103cdc5acbc0913de49dea271881f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8e66ca60387d7713dda6879f46859ad83684ae9","datavalue":{"value":{"amount":"+0.7906797528266907","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":"Q4643216$25274887-9B8F-48BE-938D-30608A105CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f351fcb1c2bb3c2d12abbb0e478247625e5b98","datavalue":{"value":{"entity-type":"item","numeric-id":4673357,"id":"Q4673357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91830c16f32b7ece0ada22e0b7be9b503a270186","datavalue":{"value":{"amount":"+0.7555387020111084","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":"Q4643216$1F7055E2-F985-4767-AC7B-02E54BA703E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a275c4e66ce2a4f4be3e6ab6ef22ccc068ad768","datavalue":{"value":{"entity-type":"item","numeric-id":3842553,"id":"Q3842553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a285bdbb488c9bd6c4391485be9c406e9d7ad5","datavalue":{"value":{"amount":"+0.7220653891563416","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":"Q4643216$3C74A864-8053-473A-A402-3F91CDBE0650","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4643216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4643216"}}}}}