{"entities":{"Q2517232":{"pageid":2527975,"ns":120,"title":"Item:Q2517232","lastrevid":52326485,"modified":"2026-01-21T11:15:25Z","type":"item","id":"Q2517232","labels":{"en":{"language":"en","value":"Error-pruning in interface automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6473007"}},"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":"Q2517232$8B7CDC59-CFD6-4C49-ADBA-BA614FAB3FE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c8cc98b1646cc4a511735628928d8d6f7443009","datavalue":{"value":{"text":"Error-pruning in interface automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2517232$D20637E6-AF0D-4BCE-8C79-3090F9FBE8A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34826391a7988434c1cab1a70d780c18e25afe30","datavalue":{"value":"1328.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517232$99FC5E48-D804-4D68-A3AF-0E3401AFB595","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c10aaf9737015a42aa795d49fcf35d32365a0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2404072,"id":"Q2404072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$4A02B428-992C-48A2-ABE0-773B6C799DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f747afa3575ea8e92f39fe28bf85bb3ce76cb341","datavalue":{"value":{"entity-type":"item","numeric-id":396978,"id":"Q396978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$6A558DE6-31B9-437A-A78E-625F904123CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$604D7722-94E1-4CA6-813F-CD3510145C6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f563e849d82b33747d8a072aeef69bd478f05b24","datavalue":{"value":{"time":"+2015-08-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":"Q2517232$AE014965-4CA5-40C4-A6A4-B39E5F71D50E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517232$4CF95A84-17A6-4B0E-9BC3-8C6F45F777A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517232$AA87E654-9D1F-47B3-92FB-5773B5FA6189","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b5d1c11fe958aec2d6206a18018a722b665bf10","datavalue":{"value":"6473007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517232$D98DF54A-272F-4DA3-A75C-58F368E8E5A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517232$B8A1F87D-CE9C-46BA-B244-66E364ECB4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1be68ca3b7d850a566f2d04f341616b9c992b9","datavalue":{"value":"interface automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517232$497E75D8-F83E-4AC1-A133-22CCF29527D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517232$FBB5F452-11B5-4934-B0DA-750AA9BB760C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4aef59e2188a457a2f35c1caa14d26a4dd494b","datavalue":{"value":"optimistic/pessimistic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517232$C743E1EE-C461-48B6-811B-F673D6FCDA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a85f1d0143d9eeaf9048a1a30e52fc72dd2d9c4a","datavalue":{"value":"fully abstract precongruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2517232$506E3035-8A7E-41BA-9BB8-6A4343014FE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a35027a4ff7a1fa2dee9ad0e3ae4ceeca4f05a51","datavalue":{"value":{"entity-type":"item","numeric-id":21741,"id":"Q21741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$BE057BB7-05F6-401F-8CDE-971BEF95B445","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":"Q2517232$E702D43E-83CF-4841-B82F-3C77240A59E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e789409914b699d8e2eee80f351e13d099c3e86c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.06.047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2517232$09698A3A-B4E8-40C0-B6E4-DD10A79B8CFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64dafe9d811ee25ba5ece1ac16cb41044d91beb4","datavalue":{"value":"W2175723538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517232$97E21C3D-D5A1-4771-9147-A3DC1F0AC31B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$469322D0-1993-4841-9BF7-5B44BE238630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9025c5e5cd65e45de7ef9a05b354bfa439bf450e","datavalue":{"value":{"entity-type":"item","numeric-id":3557076,"id":"Q3557076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$7A39CB00-5F8C-41D2-AE9F-DEDC7E0A0DE4","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":"Q2517232$649EC9A3-8FEF-4172-B9AB-2B06C6EDD606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c470ea603e08a2f52a7be3c0ad3a7d1fa995e83","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$8B26FC63-AE5A-44AE-BDB3-54C4939750BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4f78ad12fc15882f1205cf7a447a7254c00d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5491894,"id":"Q5491894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$4ED2F4BD-84EC-4335-B33E-8578F81DD623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$B6CAB081-F736-4A60-B8F8-A0B3E60EB9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$95E74555-480A-4B23-A344-5A46689003AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691c632cba378f8895b57cf95f014d3ff93df847","datavalue":{"value":{"entity-type":"item","numeric-id":5891133,"id":"Q5891133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$6130397E-097D-4D66-B4C9-6A6D5278D819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$F744BDB4-3861-44DD-911F-D1642194508D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f148840e179bfa1dd98e5384d92d9e16ce8cc7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3623825,"id":"Q3623825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$2636F875-EBEE-4212-B6A6-CECDB4058064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2517232$CE3D2CE0-333A-40D7-BE2F-3A5C24EE714D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1495f06d6084dd51486822c77425ab00e78ede34","datavalue":{"value":"10.1016/J.TCS.2015.06.047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2517232$FDC5E6BE-9257-4148-952E-BD414882A154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be67da22386574a08079d5219967ea00eef6883b","datavalue":{"value":{"entity-type":"item","numeric-id":2938099,"id":"Q2938099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049523100c52a13aa4efcb79ced4b81f04baf564","datavalue":{"value":{"amount":"+0.989833414554596","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":"Q2517232$616767E1-851F-4523-99DE-ACF339B6B6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d94caecce1965a9e211ee59504d6459f27c20d2","datavalue":{"value":{"entity-type":"item","numeric-id":2182669,"id":"Q2182669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88bc9968fe67d2048a76c4d8b6248d578aa1565","datavalue":{"value":{"amount":"+0.7957422733306885","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":"Q2517232$402194B6-A42A-4FCF-91CA-BA5FA410183F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18fc3c537f527a85a3c06ed705497839a89c0ba","datavalue":{"value":{"entity-type":"item","numeric-id":4621227,"id":"Q4621227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0322877483a6a47b6f82db7e4fce556be64a460","datavalue":{"value":{"amount":"+0.7950835227966309","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":"Q2517232$4DC93A3D-F15F-49E7-AC86-36F73138F98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22af2dc8ddab2f2ce054b7e8f30fc52de22d295c","datavalue":{"value":{"entity-type":"item","numeric-id":402131,"id":"Q402131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae97c3d3455ca29baa39ed03c16072ff333e0f94","datavalue":{"value":{"amount":"+0.7740639448165894","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":"Q2517232$51F71E2D-1AB3-446A-91AB-2CB913CBA977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd685ff497a02620e780a89349b60a1374380d84","datavalue":{"value":{"entity-type":"item","numeric-id":2415373,"id":"Q2415373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f9916a2f1f19d10a799507548e5f205f14242f","datavalue":{"value":{"amount":"+0.7566720843315125","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":"Q2517232$2AC6B128-C982-4CA8-A830-2E7943C2FE12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2517232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2517232"}}}}}