{"entities":{"Q2988931":{"pageid":2999655,"ns":120,"title":"Item:Q2988931","lastrevid":85489166,"modified":"2026-06-03T08:55:17Z","type":"item","id":"Q2988931","labels":{"en":{"language":"en","value":"Eliminating spurious transitions in reachability with support functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721622"}},"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":"Q2988931$4746982F-CBB4-4578-B1EE-B885F58E755A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29d6341468bac3a9b2f83e5e83b74dd3a5ae18f0","datavalue":{"value":{"text":"Eliminating spurious transitions in reachability with support functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988931$18511D11-0778-483A-8931-1CE36DCD9223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf61453ffea096e6f1a2805e4bb019e2f025679","datavalue":{"value":"1364.93056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$2D66D8F8-F2CE-40ED-A92C-0615DCB1B08E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fc6f5f5db95d366d56625322cdbf625ef79b08a","datavalue":{"value":"10.1145/2728606.2728622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$ACE568AC-CCBC-48EA-B82E-76D385FBDB4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31cf09ec1b4ecf8f762196d1f0c8d36bf8ee9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":2060883,"id":"Q2060883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$CD163BB5-4035-4EAA-834E-FD28CE6356A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb437ea5b8672cde24df14f00f6f0a6c774b0f1d","datavalue":{"value":{"entity-type":"item","numeric-id":1683443,"id":"Q1683443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$F609A1E6-59F9-4CED-8159-79A20D16476C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acecf5d1a92854cd265cb9f612b3c2aedc979552","datavalue":{"value":{"entity-type":"item","numeric-id":2988929,"id":"Q2988929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$3CC9B2FB-5B10-49CF-889E-00E9984E6CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b3d39f2b3fa50e3f9e1b1e8f44e96ac0457130f","datavalue":{"value":{"entity-type":"item","numeric-id":2988930,"id":"Q2988930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$46E0B38D-C337-46EC-B7C2-2BCF8BB49AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$4888528D-B619-47DD-A529-41734E9F1AA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a4d0278b851ddc53a7eb92ed995a1550e0e95367","datavalue":{"value":{"entity-type":"item","numeric-id":2988908,"id":"Q2988908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$DF5CFFC9-1FD6-4CF1-BB2D-EFE7C4A3EA6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988931$FF4D6A08-FA50-4479-9D62-0EEFA0C70C7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$AD9AAD8E-F732-4F43-9CC5-2515B726FD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$21280C8E-C173-4104-AAD3-52089E4FE374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$A6B80C47-5501-4070-9402-1771056821E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aad0f28e5da7fc0405871576d577a282dbab7e66","datavalue":{"value":"6721622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$D79A0811-93EF-4CD8-87AD-F0F4D9FD89C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988931$14DAE4F6-7906-423D-B5A0-6787C3E27AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988931$4570243A-E8C8-42AF-A790-61C3CF84D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffc2b5816bbbc9c1c53426339d58fcc9739c7fa","datavalue":{"value":"tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988931$AEA3DA03-7043-4A49-8F5D-4226442DB8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988931$EB5A87B6-96C2-461C-9360-E7DA99038C20","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6a8ef9966bab2929da0f44d88d28aa0d16b88426","datavalue":{"value":"Q62037219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$2B5AFE31-76DD-462E-9AE1-AE36FB8CCFD8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e57bdc762f9f3edfeef64e204b4ad9bd2d44d8a","datavalue":{"value":{"entity-type":"item","numeric-id":22891,"id":"Q22891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$3B0AFFED-EDB7-4818-9C15-70D1884E8FD7","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":"Q2988931$C7C79DE6-D691-4866-BB4D-D23392A194FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3dfe096ecb09a3237925550dd437e81b64c699a6","datavalue":{"value":"https://doi.org/10.1145/2728606.2728622","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988931$052D9A3B-6917-47B5-B702-1788B959D0FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"499b7f2f6d066ba818a20300207bca7bace81d54","datavalue":{"value":"W2012592827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988931$32544E4E-F3CF-43EF-9146-81B147E902BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b573f2c82a60be051782574a0331cb6504cfe16","datavalue":{"value":{"entity-type":"item","numeric-id":2988935,"id":"Q2988935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$7A685950-4BC2-4C45-A1A0-47F0A5C58865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfbbbb3a2787ace35fa94a3243cdd057a7069bc","datavalue":{"value":{"entity-type":"item","numeric-id":5476735,"id":"Q5476735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$79377847-3C5B-4681-A932-6E8F62D9D85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803594396d2eb7e8708b0e25432d7496a9ad24b9","datavalue":{"value":{"entity-type":"item","numeric-id":2737800,"id":"Q2737800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$E6B82403-BC46-4F10-8294-D13AF44F88AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29525dd63452ec8338e42e92d6a9b58d5844b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703930,"id":"Q5703930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$ADAD2F59-B5B2-40A6-B610-957950B68E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b365c89f16f21bafee54b40885302f602b52a53","datavalue":{"value":{"entity-type":"item","numeric-id":2842670,"id":"Q2842670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$7A8580A8-C93E-4C9F-B295-DD792A58BA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0336458108717527a0954272b55a21903491b3","datavalue":{"value":{"entity-type":"item","numeric-id":4781425,"id":"Q4781425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988931$4061BEB8-0C29-4C79-8511-2D8EDA9A058C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d22270af7dc8b9c0fd8327f18b591213a469a4","datavalue":{"value":{"entity-type":"item","numeric-id":3636880,"id":"Q3636880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d57da96c5073e287b9fb0fa2d8b0e87f1f6330a","datavalue":{"value":{"amount":"+0.7554789185523987","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":"Q2988931$B89197DF-967B-4EE5-ABB1-19EC4343E7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"465d65554cf8ab62ea82285746c4986410db28a4","datavalue":{"value":{"entity-type":"item","numeric-id":2324234,"id":"Q2324234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1939813508c35fe5cfbdaecb9dab11f9f2d13f2","datavalue":{"value":{"amount":"+0.7403634190559387","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":"Q2988931$7A12ADFF-6AAA-4BDA-835E-CA2C0C21BCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b3acbcff542dd22e1e504b8565b8092827151a0","datavalue":{"value":{"entity-type":"item","numeric-id":5458327,"id":"Q5458327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c904b20afb376781df46454ac80f6a95f02b080f","datavalue":{"value":{"amount":"+0.73641437292099","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":"Q2988931$22A58F0C-F563-4519-BF44-18A091C632A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34733645734b7cbf47906c9453ee03984b7f66ec","datavalue":{"value":{"entity-type":"item","numeric-id":6041130,"id":"Q6041130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bafd4da1752434a831de66c11f3e908fe63706","datavalue":{"value":{"amount":"+0.7355719208717346","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":"Q2988931$AF11CC31-4B1C-4D2D-8920-AE631B82072D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f884b566028f8de7a9fec3d95cc2df4c52c5492","datavalue":{"value":{"entity-type":"item","numeric-id":2060886,"id":"Q2060886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a26cc461f875ddd1586e017047b75486d5e70c6","datavalue":{"value":{"amount":"+0.7283673882484436","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":"Q2988931$ED8DE327-3CB9-4DA4-B1E8-F29A9AD20CD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Eliminating spurious transitions in reachability with support functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Eliminating_spurious_transitions_in_reachability_with_support_functions"}}}}}