{"entities":{"Q3457701":{"pageid":5237101,"ns":120,"title":"Item:Q3457701","lastrevid":80498675,"modified":"2026-05-06T16:20:16Z","type":"item","id":"Q3457701","labels":{"en":{"language":"en","value":"Trace Semantics for IPDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521576"}},"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":"Q3457701$F17A7FF6-66FE-44D1-98C2-B19D2463883E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd68087dff4b70cf393d4865d415d919b50ad9b","datavalue":{"value":{"text":"Trace Semantics for IPDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457701$B1A2EDC7-1913-4E3D-8779-302049B1D032","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b27477d9f90afe1680228f2fcb710bc1d6f7c923","datavalue":{"value":"1471.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$B703A944-44FE-4DE8-B17C-24BC7AF4BB19","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"daa3aaa9876e9792825b286a82d6e71b5ea84211","datavalue":{"value":"10.1007/978-3-662-48561-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$9E506303-D7BA-4147-A8BA-C7E32CEF135E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2eb4595b7da853b6281e7bf10ae7538a42492a6","datavalue":{"value":{"entity-type":"item","numeric-id":1679789,"id":"Q1679789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$16345A7D-B529-4E0A-A0AE-FBD86099293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"403be1638fbdca71e9e8415255d905d45944c8d3","datavalue":{"value":{"entity-type":"item","numeric-id":3457700,"id":"Q3457700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$007F5185-A2A3-4932-B289-AAD80396A326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1684f21a5e6367499b355fe9dbdcbba37e8652","datavalue":{"value":{"entity-type":"item","numeric-id":358749,"id":"Q358749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$44DE62F7-8B1B-4B8B-B6E2-858458B98DF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0efa7a10c57655b63387a94a7a3559817cfe126b","datavalue":{"value":{"entity-type":"item","numeric-id":2859088,"id":"Q2859088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$4D5C428F-6F1B-47AB-BA7B-A443C3FF9B0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457701$1BBAC89D-27C3-4CA2-8572-E20A13170711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$643375F2-E657-4194-B664-447C4EF5BEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$B5D8845B-874D-43AC-A3AB-B29849F4A658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$FC0D17C9-58B1-49F4-8168-81F8DFF33CEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30bf0a3f231cdb348ecae128a0d33e439d756094","datavalue":{"value":"6521576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$8B6207FE-061A-4076-9944-98876C84A5B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457701$D9485316-9215-4021-B8BC-A4BFF974C72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab57561e8c95fe21680ade7400a07692c4406a75","datavalue":{"value":"intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457701$6A0AE487-FA85-4206-B8CC-8E3D121788DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457701$0D39C8E6-7E4B-40DE-A6B3-04E4BAED1361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457701$924E1885-2681-4F88-86B9-A661E418EF98","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":"Q3457701$CB3CAB88-DEBB-4E11-99F3-48E9B4155137","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab86233be4c030fe3388b1e65e5f1d0ca1166a4c","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48561-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457701$E335FAC2-5073-426D-8FB9-5F5135809D1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b662c869c4876a08a4944f28b953f5cb88640d","datavalue":{"value":"W2293999987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457701$98BC5BD6-0C8C-4E44-8DF6-385FA3493247","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1fa7fa3689c218f4defb7f727b23f2e8e7c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":1024134,"id":"Q1024134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$83B49333-9F96-4671-89D9-0FA9479F0131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$81365DB3-6E05-477A-8815-0DB4E2FC5627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$C47DF176-1620-4660-A47C-86D09393A737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$6231074C-BEF8-435C-8FB1-4751091913E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4b0bcc7612754d8a1b8a8945a6a478f1175f0","datavalue":{"value":{"entity-type":"item","numeric-id":1168965,"id":"Q1168965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$BD2A9BB9-FA70-424F-91A3-ABEA0E5530B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$5C7B0E75-42FD-4423-8A00-69C166DB1334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$C752D62E-AFD3-4095-A2EE-073E13EB4EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$E6EE2068-6D77-46CE-B08B-D35CA558CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1235aa2b8995c7873b7217a80941542799336eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1134512,"id":"Q1134512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$17CDF9A8-797F-4246-AC85-9969C5049F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3796d9f03b4ae0103a65fce1ee3fb718e92184f","datavalue":{"value":{"entity-type":"item","numeric-id":3341881,"id":"Q3341881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457701$6D63B1CB-5B89-46E2-87F5-E4AA59CD4F98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786e84a9a813d55925e26f5f257c4741ca9ee8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802d37df9f9acff0a3999a9e2e659716a4670298","datavalue":{"value":{"amount":"+0.87059706","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":"Q3457701$832C80BE-FAC8-4466-818D-279EF921DB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca15c00dde79c62088bd676bf6efb7acca1112a","datavalue":{"value":{"entity-type":"item","numeric-id":2341701,"id":"Q2341701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802d37df9f9acff0a3999a9e2e659716a4670298","datavalue":{"value":{"amount":"+0.87059706","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":"Q3457701$14D37AC3-77C2-4A4E-B9E5-12DA77200F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5caa31d8b856f876596b1329c9e372449003ad9","datavalue":{"value":{"entity-type":"item","numeric-id":1891167,"id":"Q1891167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec2b0231b7e754a568dcb6049750c7d0532e553","datavalue":{"value":{"amount":"+0.858619","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":"Q3457701$B523CD34-DDC7-43D6-83F2-723867D346A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e24b9c5319ede2aba506ace6773d56ba28174eb5","datavalue":{"value":{"entity-type":"item","numeric-id":2848946,"id":"Q2848946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3c14ddb262152d2fc34b7f56293701831beb246","datavalue":{"value":{"amount":"+0.8465524","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":"Q3457701$B2DCC689-8CDC-4940-8256-2E224973E366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93068750e3f78798cde5d50b833dcd6a1a3f2bd","datavalue":{"value":{"entity-type":"item","numeric-id":5204350,"id":"Q5204350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216b4369a77898aa499b6ae17aeaab964293ceb8","datavalue":{"value":{"amount":"+0.84555113","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":"Q3457701$D4B06301-3388-4E0D-BABE-E44A88D534E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576e2abe8cb409a61e80ff95466ef6037e6f6f34","datavalue":{"value":{"entity-type":"item","numeric-id":3370736,"id":"Q3370736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ab872ccb38ff48ffd673add130aacd18a36e67","datavalue":{"value":{"amount":"+0.8441508","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":"Q3457701$AD574A96-0CB1-4083-A728-8FEE58DBED89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c213925b203aad020e4b0c7de21d95244927ad","datavalue":{"value":{"entity-type":"item","numeric-id":1341743,"id":"Q1341743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745cb93db051ddb0a706e9f591ad7083c6ae3c1c","datavalue":{"value":{"amount":"+0.8382406","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":"Q3457701$4F9624FB-868E-43DC-B510-9F0E1D75A739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8048a74d882b6d457aa55d7fe2f8cbb88d030b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b1467512b2a307b7a7d9b79f6240eb8ee216b2","datavalue":{"value":{"amount":"+0.83810705","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":"Q3457701$F5C8ED37-CD67-463C-9A97-09C95BC6AE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d20e84dbc175275f547b8e22c89772fad3faf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dde0dd633e1404544f7b4f0c58a3f0009ae3358","datavalue":{"value":{"amount":"+0.83502346","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":"Q3457701$7BEF7476-0ABE-4680-B796-D5326C8F8B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5cf9af7c3753ca49859a1990c2ccf9d498a943","datavalue":{"value":{"entity-type":"item","numeric-id":4928449,"id":"Q4928449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"932e7e83d353c5a05ffa53a48815143833565313","datavalue":{"value":{"amount":"+0.834375","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":"Q3457701$1C69905F-6EE5-4EC7-AE44-F728C4167413","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Trace Semantics for IPDL","badges":[]}}}}}