{"entities":{"Q2474445":{"pageid":2485188,"ns":120,"title":"Item:Q2474445","lastrevid":50294012,"modified":"2026-01-13T18:46:16Z","type":"item","id":"Q2474445","labels":{"en":{"language":"en","value":"Infinite trace equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5243676"}},"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":"Q2474445$272ABB9A-E733-46AE-B672-75ACAEDCA0CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e99d795deefdf9f4505a34d2071222b89a302566","datavalue":{"value":{"text":"Infinite trace equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474445$6D812D33-68C6-4C0B-B6FB-15114F92039B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02bab103ca498d5814a42e4b465b637f46c57e53","datavalue":{"value":"1133.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$3F12B0FE-4163-4086-BAD4-C127F0A18B74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$84080DBD-B052-43E8-9281-ED5A12CB772F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf82d0ee1f43b6e127707e975562f6a0a8754bd6","datavalue":{"value":{"time":"+2008-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474445$399BB19F-4CFF-4C3D-933C-B543C7000E60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$06711A90-9A1A-4900-9B8D-3198E2537DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$4CA19559-751F-4DC4-85DA-088DD7CAAC66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$4F55A0F8-25DC-4F08-9704-F49BD78312BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb97bb58f479c4137003ec60227468c18ee378b8","datavalue":{"value":"5243676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$25B29871-22C8-42BB-9E89-2FF05C33DD38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474445$961892B9-36A1-4700-B50B-5FBCA7194EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e54f0fcca86d22578fde7c7afa55151c5a5352","datavalue":{"value":"infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474445$46C3F568-B4A1-448C-A323-638B3E3212C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474445$6C712AD5-C7B3-449B-AAF2-652825B0B3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b6803a1697f497b324ef847eec1c0598933970","datavalue":{"value":"jump-with-argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474445$D772190E-7CB3-4085-AC6C-DF8433652F99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0859f0264c06097e37f924eb5410948debb1e134","datavalue":{"value":{"entity-type":"item","numeric-id":857914,"id":"Q857914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$9B5D78DB-E6F9-49DA-9F59-25EBD70312B8","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":"Q2474445$CD429A82-F03E-49F4-AFE1-9BBDFB02895D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42462e734e8f60e53de11dc940b9cbe64b532d2b","datavalue":{"value":"https://doi.org/10.1016/j.apal.2007.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474445$C5D6D041-C0D7-4ECC-9924-DA36FD2FFD4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ad81d2920e4cb7da6e44439db54080b0be5807a","datavalue":{"value":"W2601092150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$91253FE9-9729-4201-9C96-320158EAE141","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde268768cb5a3bbc4a6ccecc6a7bc4da7784515","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$EFD894A5-0639-4F1B-A69D-7A171A862B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6ebce8fe1caa0cc920eda8427c705be142a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":4218919,"id":"Q4218919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$0D4BD155-71BF-49B9-B351-07F782CC9535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a00b5c752d6ed451b661676594eac73529debd1","datavalue":{"value":{"entity-type":"item","numeric-id":1399957,"id":"Q1399957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$C9DD2926-6D65-4E7E-AB1E-E1B04BAF982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d919a86d9292d6be7aa1a38625b18c4d1cdbe7d1","datavalue":{"value":{"entity-type":"item","numeric-id":1400721,"id":"Q1400721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$7D8CFE58-B1B9-4B56-85F4-C6E330B2F0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87ca4e77646e575c589276782f11ee63e7cf19","datavalue":{"value":{"entity-type":"item","numeric-id":1081296,"id":"Q1081296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$3CA38968-A3C7-4C8A-A43A-D279FE29A28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea56dabbed2f0c909505d4fa35f4440c02d930f","datavalue":{"value":{"entity-type":"item","numeric-id":1399958,"id":"Q1399958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$1172C1BE-FABD-445B-AAB5-137AD7B0E80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad604605d1a29b226be438b9060cd0726e1243","datavalue":{"value":{"entity-type":"item","numeric-id":4408809,"id":"Q4408809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$96FF03AC-A6B8-43BC-8630-CBF31C32F5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad03d4accff006fa49cc723478a662123fdd2f4","datavalue":{"value":{"entity-type":"item","numeric-id":4936346,"id":"Q4936346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$A0F44360-3110-4D22-9294-07D61FEC1F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$7FCD4F93-E708-4CF8-A8B3-EA9963E6994D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed8059afbe0c195cb4a846254457c939cf24366","datavalue":{"value":{"entity-type":"item","numeric-id":1333374,"id":"Q1333374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$624FFC8A-FF8D-4B15-B927-92549069F8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$3EA009C7-4BF2-45C2-9452-089AB391C88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c682b839b11467875c1cc1c966d0baafa1e563","datavalue":{"value":{"entity-type":"item","numeric-id":4829806,"id":"Q4829806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$68362177-B6CD-4AEA-A6F2-CC1E8F08BE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd770c1f853256de098ea885e844f8806ccc301","datavalue":{"value":{"entity-type":"item","numeric-id":4680357,"id":"Q4680357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$59B91B96-2936-4E82-B5D3-B9B12AD1DF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$A7BE1DA3-2D32-4367-A738-3920C3E57ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a598ea9b2fd7a85683f522c6378f68ce525ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2852364,"id":"Q2852364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$64B29ABD-14BD-452D-9692-E43DDFF1EFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1d8d1db407a3c808a8dfe6a8cdffd64d3b3560","datavalue":{"value":{"entity-type":"item","numeric-id":4231031,"id":"Q4231031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$54EF8F5B-DDFC-4C58-BB2F-CE855347665B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$82DF8246-2B78-4744-B37A-6A7F21C60ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ed653c868f9a05c70014c89c457f1b224148","datavalue":{"value":{"entity-type":"item","numeric-id":5941163,"id":"Q5941163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$2FBF19EB-824A-4BCF-ACE7-2AAD5581B75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40dce9f9a03e068f99ca9e3807fec431246d6292","datavalue":{"value":{"entity-type":"item","numeric-id":5887523,"id":"Q5887523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$BA524C73-12D8-45C5-8220-4F9FEDD1565A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$FBCC8B1E-266D-42BB-90C7-DA7EDF526E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268597bdde49d3cc93a9ac70309842e53cec529","datavalue":{"value":{"entity-type":"item","numeric-id":2771052,"id":"Q2771052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$68F4492A-482F-41B0-A0FC-9B4F3A070D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25909eb9351cf0344054fe076659323e4a16467f","datavalue":{"value":{"entity-type":"item","numeric-id":4738236,"id":"Q4738236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$E3278C8B-96CA-49A5-A471-523B012CE2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70583c666fb181243edc32fb54593edbab1e32b","datavalue":{"value":{"entity-type":"item","numeric-id":1811033,"id":"Q1811033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$A728D63E-ABCA-4E69-B2C4-9C31AE10364D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7629881c3e7bd88e597d7e4f26d7cbdf6a97ce","datavalue":{"value":{"entity-type":"item","numeric-id":4240152,"id":"Q4240152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474445$09BF3591-DF12-4CF1-A4B9-87471644A515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c0f07e6cd92cccb36591064246f3728344afe1d","datavalue":{"value":"10.1016/J.APAL.2007.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474445$B4CED279-F893-4BC5-9152-F1EF1176587D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d8885b5073e83bff03ccae49fb288485330758","datavalue":{"value":{"entity-type":"item","numeric-id":2852364,"id":"Q2852364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad88b2b599fc37c0e67b21a01e81d4dbd26948a","datavalue":{"value":{"amount":"+0.9974467158317566","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":"Q2474445$272A20CF-AC6C-4CC8-A1D8-58DA7C1F4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"112b277a7725be0d9d7f768a039dc932ec525b62","datavalue":{"value":{"entity-type":"item","numeric-id":5887514,"id":"Q5887514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7082c559e46eba77e7a1d1b8a0eaefef6b52b535","datavalue":{"value":{"amount":"+0.7291775941848755","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":"Q2474445$9FFF4DD1-18F0-4383-9DF3-CEDA91D0315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed80db702e38dd07fcbdb1ffaff7af29ab85cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4729315,"id":"Q4729315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c2e6991ecdf63e8782d9ecaf58a3044685e6405","datavalue":{"value":{"amount":"+0.7199957370758057","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":"Q2474445$68D7D8F4-AB39-4412-94CA-8766DEE852B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3acf0852ee12208dd4454dd8d6a00af5078dd7a7","datavalue":{"value":{"amount":"+0.7172148823738098","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":"Q2474445$8FF2E7B5-6EF8-472D-85B4-9B5F6265F4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd754ce23cb45564afafb99eb2818a829ac1c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5277737,"id":"Q5277737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afc3b5d97af74f31631cda19f3e3e91b79568ef","datavalue":{"value":{"amount":"+0.7169687747955322","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":"Q2474445$227FEBB8-7B6A-4C0B-8B83-9035165B1F9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474445"}}}}}