{"entities":{"Q1868239":{"pageid":1878981,"ns":120,"title":"Item:Q1868239","lastrevid":48086140,"modified":"2026-01-03T14:26:48Z","type":"item","id":"Q1868239","labels":{"en":{"language":"en","value":"A proof-theoretical analysis of semiconstructive intermediate theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901324"}},"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":"Q1868239$80CC4612-317D-4E38-AB4C-8F8C5261A0DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"202a7d436abd2f122fb044d05923dae62df67b6c","datavalue":{"value":{"text":"A proof-theoretical analysis of semiconstructive intermediate theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868239$A4221155-7A5E-49E5-9D83-9B92D34C6F8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c2d68575633b79b87a111866bbf792350c2ae37","datavalue":{"value":"1015.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868239$A4E29D34-02D7-4B33-90F5-781964BB7D68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbcc05408d14119ce8800639d598b00fb58c8b4d","datavalue":{"value":"10.1023/A:1022985222183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868239$8DABEE2B-3281-4DC7-8969-C7BACD39BFDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc37be6f3a32541e658db241ba6d5f1a748f7047","datavalue":{"value":{"entity-type":"item","numeric-id":972429,"id":"Q972429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868239$13E3AFC5-BE59-419D-8A45-9BA35EE0F717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cc74fbcaec9acb65dd75f4cd3554e43a9608963","datavalue":{"value":{"entity-type":"item","numeric-id":972430,"id":"Q972430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868239$85D3954C-7EC2-4047-89E6-81B47C2C1C51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868239$816972D5-F1DC-4578-92E3-A8FDF989038F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868239$59140533-C53B-45C2-B98E-59AADF6D6FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868239$7D2B7925-F634-421D-8EC8-4D0212D4595F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868239$511A13D2-F00E-4B04-87B6-F0DF85BBA651","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cc4b1355e02b5d7dadc5a78992679181b8e954f","datavalue":{"value":"1901324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868239$025AFEB2-41E8-49E1-97E7-F03C6D03621F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada137963665227b05aec8f96aebf2e65e3505a1","datavalue":{"value":"intermediate semiconstructive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868239$90F1065A-5935-460B-99DB-50D8AC211B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d320fe43d5a2c8489a2146edd6fd465781248a81","datavalue":{"value":"information extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868239$460BFC63-E8CD-4067-9664-704E6FAF18B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868239$696816DB-2B0A-4740-8877-36246A998EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6535782d66918b4a3b6c2e17a7e5bcff7548bdfc","datavalue":{"value":"semiconstructive theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868239$9ECE6871-4864-465F-9357-506E720566B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868239$6D2611C1-F5FD-4D5A-A468-1D85DA10AC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"551bf35d4850652fe37dc1199f9a10daca95778d","datavalue":{"value":"bounded complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868239$2A278183-8ED2-42FE-99D1-9DEFE4309402","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":"Q1868239$596B9AC9-92F3-4DA8-B1AE-274820FCEFC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55c6492b28b35ac9838117b979cd1423e6220b7","datavalue":{"value":{"entity-type":"item","numeric-id":4795874,"id":"Q4795874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e7c7b820d8db496656e2649a2edc15cec3340a","datavalue":{"value":{"amount":"+0.7970028519630432","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":"Q1868239$BECC0F9A-1C41-4343-90F8-46309DEB8152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f2bf7208cfd293741674f6782fd89be0357a52","datavalue":{"value":{"entity-type":"item","numeric-id":3818308,"id":"Q3818308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"561bb9319036805602edb8fa1bbe71aab512435f","datavalue":{"value":{"amount":"+0.7468311786651611","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":"Q1868239$B37C09FA-F52B-4FA9-AB69-58B7037D6F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b57585c4abb4b2164fbb60a9babf95b89208b67","datavalue":{"value":{"entity-type":"item","numeric-id":3973572,"id":"Q3973572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6913bea4b43821cb7acfba0e9273679c99a83af3","datavalue":{"value":{"amount":"+0.7465894222259521","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":"Q1868239$63AFD42C-4BC4-4893-86BC-753C67BC3AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d34b6b41f86704ba74a39eccb5da6b0970ce2","datavalue":{"value":{"entity-type":"item","numeric-id":964451,"id":"Q964451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d55a8244907ee47e1c09a734eeadb3143188d192","datavalue":{"value":{"amount":"+0.7461350560188293","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":"Q1868239$09A8FCF6-5B38-43B7-A05A-CD75E0611841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d92a59039a6f33aee926c36b032ea22e7eb85ca","datavalue":{"value":{"entity-type":"item","numeric-id":2746762,"id":"Q2746762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb82a00ee7f7d0af8ae3d4862a1e1547c401f858","datavalue":{"value":{"amount":"+0.7440276145935059","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":"Q1868239$58C7B84C-C943-4E6C-995A-92A0B0040679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1868239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1868239"}}}}}