{"entities":{"Q1675156":{"pageid":1685897,"ns":120,"title":"Item:Q1675156","lastrevid":71880297,"modified":"2026-04-14T01:09:03Z","type":"item","id":"Q1675156","labels":{"en":{"language":"en","value":"Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798771"}},"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":"Q1675156$322418E1-4C44-4627-9C5C-7B578C5537A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa2915c340d906c195da0a23e7612d0eed30ad6c","datavalue":{"value":{"text":"Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675156$8EEE36F6-1FC1-49E8-BAF7-85AF7CA45BAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b856ed53c45e1caadd659ae61d43bcdf72dcae","datavalue":{"value":"1471.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$6DA5A92C-6795-4BD8-AE9B-7307BFC7081F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a54fe72c43d3bc87b9b87b8c3c1450b467231d8","datavalue":{"value":"10.1007/978-3-319-24537-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$670ED7B0-8746-4044-981C-D0F9E78D46DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11284c37dac68ebea2ec9f5272d94d336f60bfe1","datavalue":{"value":{"entity-type":"item","numeric-id":1675155,"id":"Q1675155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675156$CF267FF5-BA14-4F1F-8A09-836DFDA32F27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-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":"Q1675156$02098B74-8712-4FFE-93C9-434E0DCD2B3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$9CFFF8FA-72CC-4A84-B0F2-32EB45B5C0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$F691778E-7B3B-47D3-B3A0-773F569CA92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$E3E42D00-9869-4882-A11F-0E2D8519BB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$DC8D6FCA-6944-4928-9DAD-D27CD78CB5B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf3d1234047e6f9bf3b97317058107f92bbe7efd","datavalue":{"value":"6798771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$24E19BA4-46AF-4E4A-AEDA-6190B175020C","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":"Q1675156$942E88AE-8B17-4D30-9B9B-C5D725778802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f54c4a801b6667e09add200c8d306b96d95e536c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24537-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675156$AF066CCF-A8E0-4536-A823-30BB4799E364","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"911ac50ef7008968f0e0af42a6f04767967d54ca","datavalue":{"value":"W2408504828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675156$0DD3AB87-012B-4D6F-9410-11C3C0B87751","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee3dc384d80d204cbfbadff9bc57a551f433448","datavalue":{"value":{"entity-type":"item","numeric-id":3525149,"id":"Q3525149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f28c37d49f71d54e88138586c7ba1b4e1f49eeb","datavalue":{"value":{"amount":"+0.85119605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$5CCF3445-0384-4914-839D-37D425A0806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd74d5d6a5c3d9010fd1e765f74d375b82da1346","datavalue":{"value":{"entity-type":"item","numeric-id":5179057,"id":"Q5179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6018222bb810188312fc6135724111e06fb70","datavalue":{"value":{"amount":"+0.8465692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$57490FAE-6EE8-45EC-A663-4F6666FA8F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9499cf13a51899fc8d01676c2f96505b874b1491","datavalue":{"value":{"entity-type":"item","numeric-id":5056000,"id":"Q5056000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae8bb880d1a891d428f452d1d5a1e42c9b347a06","datavalue":{"value":{"amount":"+0.8389533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$D781792B-62B7-448C-AEBB-AD6536DDDDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e8493bb5fbce19318d47f6516bb746b51a1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1671142,"id":"Q1671142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b575c6bd47db6eeb2014c971cbff0f27c4646f13","datavalue":{"value":{"amount":"+0.834473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$13F791D9-1091-4926-8B62-A6B32809AB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a18887f57b1b3543a1507c31b4181ef2874d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2894275,"id":"Q2894275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c65f7858e9c6a9bf07d75db749caa0aa35bea7b8","datavalue":{"value":{"amount":"+0.83159924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$F675D583-1A61-48C8-962A-A653F105EAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1609815e354014a0213f2a4853304fd3a5213751","datavalue":{"value":{"entity-type":"item","numeric-id":2961579,"id":"Q2961579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df87dd8d04af9b72ff22cafde2b93b87061c506d","datavalue":{"value":{"amount":"+0.8313191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$01594F1D-A2DB-4075-A65E-8AC59A71E679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfe103a237343092c56f9a884431017e84d83de","datavalue":{"value":{"entity-type":"item","numeric-id":5408554,"id":"Q5408554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb455cd6cbfd4f98818909d423634cd00bb5836e","datavalue":{"value":{"amount":"+0.82886064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$A98864C1-F259-42DE-992F-22DD3995F2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91731193b4f93b084a95ad588f670662502a94b","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ceddb46c982232ad4b36556b457c1e3dadc7ff6","datavalue":{"value":{"amount":"+0.8274015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$1D4FB523-4227-44DE-B1AC-A3442A473FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3fed2300e8c168d71be1c6b841c444de1da2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3617744,"id":"Q3617744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6582e0849366858de3792b95969cd4db23ff243","datavalue":{"value":{"amount":"+0.8167501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$66411602-5ABC-43D2-893F-08B187903666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe2a748c51c7f67edb20da3679ddf1020fc8299","datavalue":{"value":{"entity-type":"item","numeric-id":1620953,"id":"Q1620953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6582e0849366858de3792b95969cd4db23ff243","datavalue":{"value":{"amount":"+0.8167501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675156$6EC26A8D-160C-426A-BE1D-51E15CE0EE83","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial","badges":[]}}}}}