{"entities":{"Q453533":{"pageid":455300,"ns":120,"title":"Item:Q453533","lastrevid":56914377,"modified":"2026-03-24T14:40:53Z","type":"item","id":"Q453533","labels":{"en":{"language":"en","value":"Bounded underapproximations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6087631"}},"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":"Q453533$15E761D4-251F-4021-8D0E-EBA43192DA36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddfbce0674df20a85ce8fe270c3c7b14b590e224","datavalue":{"value":{"text":"Bounded underapproximations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q453533$1D31E67B-001F-4028-B70F-A675006E727B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c02adc9b6ee1f2d77c10b402e471a66e40f07f9","datavalue":{"value":"1247.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453533$2A32282D-CA53-4BED-9418-5A3FEA93D632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$1689C861-D58F-466C-B098-8B05647BD2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aae555efea8bfe5edf053b73d5c78ecd63391b7","datavalue":{"value":{"entity-type":"item","numeric-id":453532,"id":"Q453532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$2A886EBA-3105-476C-AEAA-D875F132B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d921cd000d5c6150fd45fe33e7c7c0728c363b50","datavalue":{"value":{"entity-type":"item","numeric-id":6771277,"id":"Q6771277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$FD669482-E545-4314-B3DD-CD63D819EA10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$E8A97F5E-EC42-4AC8-8570-DE0826FBEEAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fc6cf2e793ffe0cfa0f8a10182fc08299b3419d","datavalue":{"value":{"time":"+2012-09-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":"Q453533$701B9238-8F41-4407-8AC6-C68CA9CA6840","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0581d77317e2bcc06e67d55f1a78d91d807fb72a","datavalue":{"value":"https://arxiv.org/abs/0809.1236","type":"string"},"datatype":"url"},"type":"statement","id":"Q453533$8852F9C2-9EAD-43C4-9905-526D68A54CC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453533$3B5AC882-40B7-4FBE-B089-4698FA094464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453533$378DB3E5-BA8B-4318-9CFF-9991FBEA5F20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20aebbc0a56d324294e0dbd8763e0cd36429758","datavalue":{"value":"6087631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453533$6E9DF2A3-9809-43BB-BD25-0F6FA1C16EA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8f95104569681b12147407e1fc63bde7079389","datavalue":{"value":"context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q453533$A4A9BED6-3A2F-40AD-930D-96AD9FBA7E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cedcee7d6d7869e7e8743abb9cca14f68450090","datavalue":{"value":"bounded languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q453533$0B16A703-621B-43A7-ABEE-4E94E5CB97C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7781e1df55584b050bd83c1b77ffd8734375a678","datavalue":{"value":"Parikh-boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q453533$A53FBD65-034C-4E8E-9F3E-F9C1CC68BA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4996e42cd96947bfbbbe7ca8a0acb6329c2d1075","datavalue":{"value":"multithreaded reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q453533$9DBF179C-6957-410A-AEF4-CE52A5206C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9aa013f44dec532c4835f167d58da173886d271","datavalue":{"value":"recursive counter machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q453533$58B87A46-6191-4E82-B700-D97748258EC6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$7AF5A53B-576C-4AE4-A84D-C1114DC3B853","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":"Q453533$D4D69680-1017-4DEE-A4C1-F32270EF09E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ae1353842999eec1a10bc5de1281a3d92adc289d","datavalue":{"value":"W2914181030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453533$6ADEF442-4175-4A68-B205-355251117BA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6677abc0859eba7c711819fb7971318ff9197f99","datavalue":{"value":{"entity-type":"item","numeric-id":5491888,"id":"Q5491888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$A08F46B8-B2DA-40E9-98E0-8D4C8152152E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$FD7E9C26-DD86-439D-8D86-EBC4192FCE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5830036cd1eebf70131e05b80d1e3948c1709aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3617767,"id":"Q3617767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$4C4DE547-898C-48D7-B7D2-2D4D53C310E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$82B48282-031D-48E4-A42A-8212B747803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693a456af71addc6be4e81edb2567f1920c05c51","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$F1AC12A9-C76E-4919-BF93-AD9061F878AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc13080c5dbaffc8febf13688b4dafd45fc198df","datavalue":{"value":{"entity-type":"item","numeric-id":1944966,"id":"Q1944966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$5F3491DE-C4C0-40C9-BBBF-D4664C3F6426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7275266fe0170561ebfcf16005b656127e444c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3520300,"id":"Q3520300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$D168DBC7-374E-4C97-98A0-B9234A8C616E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2449700f54e66e28ef281559b4f40825aab91e80","datavalue":{"value":{"entity-type":"item","numeric-id":3060977,"id":"Q3060977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$3FCD75B0-28D7-42DC-887F-0CCEF36AD000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ded7338003111b779d67dbf9487475aef44bb91","datavalue":{"value":{"entity-type":"item","numeric-id":4415251,"id":"Q4415251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$EB0803BA-D19A-424B-8FD0-77F517695052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$8124E31B-29B6-48E3-B132-60F521A3F2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$6AE8F7BA-3823-4AA3-AF7A-8535D6A0DDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682ee0541c02bac3ae8263c7dfff4dab9eaf8af3","datavalue":{"value":{"entity-type":"item","numeric-id":1872706,"id":"Q1872706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$94E5427E-8872-485D-ACBC-5CF3E16BF970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$CFA65EED-5966-4D95-91C0-8C64942E657C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f317985b3380a3c2e7c5ee71bf31263870b10a","datavalue":{"value":{"entity-type":"item","numeric-id":5311488,"id":"Q5311488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$12C557F0-F5E9-4E7B-90FF-6B0ED3236031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q453533$DDA7C11D-EC4E-40B0-A2F3-189820F8467B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"366e121e9476cea775c78700c51f1bf2a5146cce","datavalue":{"value":"10.1007/S10703-011-0136-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q453533$2E965EA2-BE5E-4429-AB54-DBFEC9A54627","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af50b8a11006553309d72f7466a357d622a2c147","datavalue":{"value":{"entity-type":"item","numeric-id":2986805,"id":"Q2986805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e10daaeef8a30e2b489feae04c071651db17f3","datavalue":{"value":{"amount":"+0.7863993644714355","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":"Q453533$071A5DD8-1822-4039-965F-5E20ABDE8F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918d29753510f91ff62488e19d2da72b9a45410f","datavalue":{"value":{"entity-type":"item","numeric-id":3557012,"id":"Q3557012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e25fce378ccf2c4aac831aa6e29e25b256cabe8","datavalue":{"value":{"amount":"+0.7256066203117371","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":"Q453533$46BA3EC1-7E7D-4527-9A5B-5746A03FED37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a07bf3e621e85c40aa2abc9de5f28a85e42632","datavalue":{"value":{"entity-type":"item","numeric-id":899318,"id":"Q899318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dadd1fe7093fa8de63b87b39f2c84611738a9022","datavalue":{"value":{"amount":"+0.725405216217041","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":"Q453533$7E821AC9-0F74-4766-8378-C34CE3076802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de89affb8e8a8d645f037e3899304e45ae0c4fa2","datavalue":{"value":{"entity-type":"item","numeric-id":4910475,"id":"Q4910475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1618c8d40d20d065ba220c8fc234b34c3457bbc","datavalue":{"value":{"amount":"+0.725044310092926","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":"Q453533$03599042-62B1-4529-95D3-6DE03AF6D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc8709516782bc73ae0db6ab6419fcca680f6f0","datavalue":{"value":{"entity-type":"item","numeric-id":2841977,"id":"Q2841977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"380fc57189559c6a159f2ecb03f65af1ac7a6faa","datavalue":{"value":{"amount":"+0.7236979007720947","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":"Q453533$A9A11657-122D-48BE-B1E7-8AD5B8F1B830","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:453533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:453533"}}}}}