{"entities":{"Q3060189":{"pageid":3070905,"ns":120,"title":"Item:Q3060189","lastrevid":51140429,"modified":"2026-01-16T21:43:01Z","type":"item","id":"Q3060189","labels":{"en":{"language":"en","value":"Bounded minimalisation and bounded counting in argument-bounded idc's"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5822244"}},"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":"Q3060189$62A16B99-DFBD-428C-96CC-F4875A0B6D64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea37bb80625ed3d927138f2a00be44880d97c955","datavalue":{"value":{"text":"Bounded minimalisation and bounded counting in argument-bounded idc's","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3060189$023ECC39-C564-44E1-A019-22635E94C4AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d332143033a7ad8a84e389e6d457401cad939edd","datavalue":{"value":"1216.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060189$6592EC86-67C0-4C2E-B8CA-C5A6FCB24DA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4e3f29be51043181f86ce52327ccff58ddd83e2","datavalue":{"value":"10.1017/S0960129510000198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060189$C71F2406-30A2-45B0-9EBB-1A2316813B8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a0b30f3e544ac473a5d1f02f628c6a774a97ba","datavalue":{"value":{"entity-type":"item","numeric-id":3060188,"id":"Q3060188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$136CE15A-5175-4015-A533-51F902CCED83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$F4F9F548-FDCC-4C16-A2D0-670C97367C33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f7a6f873bf5c0d11b62fa3d4700ead7fb1e1f3b","datavalue":{"value":{"time":"+2010-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060189$49F66C7A-B16F-40EA-927A-D3898AA1A603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060189$A2DC6BB5-1C86-4A5A-BF8B-B285CFCB9631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060189$A59B2867-BF5A-419F-BD52-DDEE092E0308","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31b8a8924291d3281d64f1cfac8bbf832f4f1d03","datavalue":{"value":"5822244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060189$2D44F59A-120A-4537-924C-897DE0FFA893","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e77dd59e56d74e4a65ba5c609dd58604d6ae63","datavalue":{"value":"inductively defined classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060189$47216CF5-745C-4FEE-B2CB-8D6F791389CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90580ceb0c7d3ce87bd0034ee65455f9c1a1f782","datavalue":{"value":"argument-bounded initial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060189$731CD3E5-005C-445F-8E85-B09E4C9AC587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94edb796e852309fa37c5414d7fd524c94f5f2e0","datavalue":{"value":"bounded minimalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060189$3CA30F7B-3639-482F-BA7A-75728F126AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3c194fee991d60a5e757179b54351eec3754198","datavalue":{"value":"bounded counting schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060189$ADAABFF1-2460-4B60-94B2-D42CEFD0DCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060189$B80A2968-5B8C-436B-A8E5-A10844EB626B","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":"Q3060189$1601A07A-DC5C-424E-AA48-B9D23A0819FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b492d3887dfe91f103ef3e57c2ed830a645ba0a7","datavalue":{"value":{"entity-type":"item","numeric-id":3980089,"id":"Q3980089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$E6608CCD-0FEA-4317-A761-FB56DDD07B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6521322071e50e19fe9305b70a18f0c9af4d7881","datavalue":{"value":{"entity-type":"item","numeric-id":3502641,"id":"Q3502641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$EC47CE5E-D11C-441D-9D2D-86987282489D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe59d914181406afab36c5bfeab6a94f45ede2f","datavalue":{"value":{"entity-type":"item","numeric-id":1029017,"id":"Q1029017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$12BFF51F-7B42-4157-97FA-F83E312CCFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63cfd99e829566942674b05a8ea257938801b7b","datavalue":{"value":{"entity-type":"item","numeric-id":4075447,"id":"Q4075447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$CE36365E-D00F-4876-B062-297A1272697D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0c95a8b0f00112d9676bbffb8d471924a1b8fb","datavalue":{"value":{"entity-type":"item","numeric-id":1781116,"id":"Q1781116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$1F2826A2-4EEB-4194-83E2-C9B0A1DF144B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0b71641686f33b59d72da19c9c8ff72c9192c3","datavalue":{"value":{"entity-type":"item","numeric-id":1127532,"id":"Q1127532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$D9187237-2CCE-4F23-B8CE-C6271D498FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d37412feb3c9b7693518f86d19f47e0942eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2740986,"id":"Q2740986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$7CE21419-4754-4F97-8DBB-DC37D34CE23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc601aad37b2780b5cf1d809eb7c3d5728ef7d1c","datavalue":{"value":{"entity-type":"item","numeric-id":1575880,"id":"Q1575880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$8AB5871D-71BD-4330-80B3-145CF5A9F8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ca2573d0b329c299d6077f4b871f09df72acae","datavalue":{"value":{"entity-type":"item","numeric-id":3502652,"id":"Q3502652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$031FF1D1-7ABE-4F54-8F90-C46FD5C338D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$469A1913-95D7-4E4B-A633-3E862974397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d949421472cbfbe5f8ad614bd9c2234484e9206f","datavalue":{"value":{"entity-type":"item","numeric-id":5277734,"id":"Q5277734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$39F8FB40-B869-4F48-8279-BA57BDE9B271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303aff42bba7cac20f2c31129d466b8c70f1731e","datavalue":{"value":{"entity-type":"item","numeric-id":3276696,"id":"Q3276696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3060189$B81E5FCE-5124-48AE-8C4C-939E0897C9BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"867870f4453d114f0c2e1c25f7bd21afebffa4a1","datavalue":{"value":"https://doi.org/10.1017/s0960129510000198","type":"string"},"datatype":"url"},"type":"statement","id":"Q3060189$3EDF4594-57AA-4A26-BF98-518120D2B820","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37bee1aa22f49afe72df90d600e46331c404ffaa","datavalue":{"value":"W2161599677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060189$889E6CC4-0DD3-4F41-949C-81D8F72E1EFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a5b303103c38a95ada84fdb10df7a352e4a2ab","datavalue":{"value":{"entity-type":"item","numeric-id":3312212,"id":"Q3312212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4293f01f3481620591f255a6737e5e8c9f37c346","datavalue":{"value":{"amount":"+0.7246377468109131","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":"Q3060189$291B1A1C-7EC6-4BD0-B719-6C5890486FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1425c1968e0d9c074f72089aad75859e4825baa8","datavalue":{"value":{"entity-type":"item","numeric-id":1176198,"id":"Q1176198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a045be0d4cd8b104537c2c14f65c09b90f03b9a","datavalue":{"value":{"amount":"+0.6941181421279907","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":"Q3060189$09ED5E6D-A54A-4E5E-A989-16E16B558196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2452193748cc5ba266bc3360acefd5886e7992b","datavalue":{"value":{"entity-type":"item","numeric-id":1192345,"id":"Q1192345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f450e36bef5f18d85fa447d3acf4087db328a51","datavalue":{"value":{"amount":"+0.6910718679428101","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":"Q3060189$FC61BEEA-D88B-4164-B2D3-9DD12E942904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd1a4b58812cdda3f83fe359b13ecdcd84b6553","datavalue":{"value":{"entity-type":"item","numeric-id":4317319,"id":"Q4317319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c7f514450c2b7012deede1aee452c35b4ff8d61","datavalue":{"value":{"amount":"+0.6873034238815308","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":"Q3060189$7FC8A108-24BA-4863-9D12-A8037F49A0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95954fe8eb47a1c76fbcb1f9db280d14948db56d","datavalue":{"value":{"entity-type":"item","numeric-id":2753676,"id":"Q2753676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd46099b83b41653cf49b000434f1387bb575a6d","datavalue":{"value":{"amount":"+0.6864171028137207","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":"Q3060189$996B7D6C-C9DD-405E-83B0-F4701E348613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060189"}}}}}