{"entities":{"Q2147193":{"pageid":2157936,"ns":120,"title":"Item:Q2147193","lastrevid":54347873,"modified":"2026-01-26T16:37:59Z","type":"item","id":"Q2147193","labels":{"en":{"language":"en","value":"Faster pushdown reachability analysis with applications in network verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546602"}},"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":"Q2147193$6E343E74-0332-4ECE-B1C2-ED8AD8A1D545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c383f650b24cd7546366957a41d88d33b655aaf5","datavalue":{"value":{"text":"Faster pushdown reachability analysis with applications in network verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147193$C273ECF3-E0A9-4E78-BC22-35D737158791","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"715ab512ee5ee62001321a0a4ee9330b3747fb67","datavalue":{"value":"1497.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147193$512CFBD4-11B2-4B0F-BD41-21E005466600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46598ae3c9dabcda7f1a02c069ec777bd8effc8f","datavalue":{"value":"10.1007/978-3-030-88885-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147193$6FBA74AE-4129-4372-831A-C7A2347A9889","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ca4daefaa4f60d5ae94ebd7a8af1a88fc5b915b","datavalue":{"value":{"entity-type":"item","numeric-id":324620,"id":"Q324620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$3112D023-11F1-4D02-B22D-8E6CC4E6A7AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90b1b48b4896a6811e00527e3905596a0b81cb1f","datavalue":{"value":{"entity-type":"item","numeric-id":2147190,"id":"Q2147190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$58490506-33F4-421E-A1C3-01CB85780E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$69EEEEC7-AE5B-4EC7-8C2A-0F4B81CF94AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4103b83c201e4eece60c491b523799b210a94444","datavalue":{"value":{"entity-type":"item","numeric-id":2147191,"id":"Q2147191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$48B6D834-A482-4FFA-B7C5-13F5C726E161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c68d909565914a78e932592f6fabbf981cc276","datavalue":{"value":{"entity-type":"item","numeric-id":2147192,"id":"Q2147192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$99401D5D-3661-4FE0-B188-18C0E1135DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$4C11DC13-4B37-4A10-A103-25A9320CD357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147193$85833780-CFD6-4962-BA05-3E4387FA40C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147193$F865C500-61FE-4DDB-A6A7-7F9104D9B479","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"151ac5f94cfd74fa5cd2150fa3f138d19114a8a5","datavalue":{"value":"7546602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147193$55022295-815B-48C3-B379-A84858D647B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71a3bc64fc22ce705c9783180974fb5006fb0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$5C12422F-A6DD-4F3F-9B49-A602554B5E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$D6EC8182-8A47-45D0-BBE0-99F76E0C993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$FAF62D49-8EBD-424F-BED0-E09C585EA18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6473c3e86b72de5065fa5f2153919d4fac2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5338328,"id":"Q5338328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$B344EF16-6A43-4176-B20A-7A8030BCF5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$37EFB68E-2B67-4D19-9925-8A9765A7E930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bed65c2e2e28fb547ab9ebaccef4e7ccc1a2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5716588,"id":"Q5716588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$328D8F79-AC81-48CF-BA22-705A14D754A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f62bb6f5b81880bc126af12267b829c31343668","datavalue":{"value":{"entity-type":"item","numeric-id":2164228,"id":"Q2164228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$AEFE8114-489F-44C6-8870-6E30DC37B5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe32d75c6b87b1b2f027dab0d3a16e3b31efd7b1","datavalue":{"value":{"entity-type":"item","numeric-id":3620428,"id":"Q3620428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$89E27193-F847-409A-AA01-75C486C6C862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$4ADE941D-3805-4C09-8228-A61C33CC3F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$0AD655E3-451D-4F5A-9FD8-0D352AF8F127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a8b8946023b2adb38ab5e2c388e5289e2c2a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5703784,"id":"Q5703784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$57E2D368-24F9-4BD9-99FC-1F09D3464D15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11e8691cd1092776369a6c989adefc1b2275245d","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$A01A9D07-4EB8-4248-9C55-195B6931A9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e027bf88ee7cfe985b42e564a22fa6632f8a570","datavalue":{"value":{"entity-type":"item","numeric-id":14221,"id":"Q14221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147193$64C3908D-E23B-41E8-9E19-27DADFFF2534","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":"Q2147193$35D23B17-8842-451E-A09F-5E2BFBF0E4D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8977ea49abd0a2e5db813dcf7b165c6acbcfffb2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88885-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147193$D3367420-9113-4638-9E64-EDB6BFAB2A1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e63e4b606a54f8ca094db1cd856c4d80bb95702","datavalue":{"value":"W3206316501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147193$075EF785-D8B5-4C13-AB88-DC2531EB522F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157193c9e111733bd814a09e79742f98aae7e58e","datavalue":{"value":{"amount":"+0.7708485126495361","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":"Q2147193$7F8A8766-729F-4B84-AC0F-BFD976E6BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b7928ee93f953cc266179fafb7ba3a8831ce06","datavalue":{"value":{"entity-type":"item","numeric-id":5756743,"id":"Q5756743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d841d8c4de3be0131077f7b767b73518e1d34d2c","datavalue":{"value":{"amount":"+0.753407895565033","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":"Q2147193$538AF4CD-D075-4866-87BC-DBAAD1605D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9feb15707eaf661f225b7df770a18c0f1437f98","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a9b09e482a1705f20663fcdfb1e00c103913d3","datavalue":{"value":{"amount":"+0.7507023811340332","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":"Q2147193$F19D4A78-CE65-4997-8932-539BE5D6998F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64bd9bfe38368a17e870a9cc18a95f7a05fdb613","datavalue":{"value":{"amount":"+0.7462100982666016","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":"Q2147193$B8B8BD9F-45B6-4376-BBFA-8B210EBB2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594f283bd8e4698613f0c8cd22a9bb87c2bb31cb","datavalue":{"value":{"amount":"+0.7401544451713562","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":"Q2147193$D341BC52-D219-4472-8E36-3B8F3E17325D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2147193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2147193"}}}}}