{"entities":{"Q3460575":{"pageid":5239975,"ns":120,"title":"Item:Q3460575","lastrevid":46563804,"modified":"2025-12-25T01:12:11Z","type":"item","id":"Q3460575","labels":{"en":{"language":"en","value":"Formal Verification of Infinite-State BIP Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527561"}},"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":"Q3460575$FA66D26D-ECAF-4024-AB7C-F5E900F2D0C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0035355ddccf8becbfbb97f118743c2b002f47f0","datavalue":{"value":{"text":"Formal Verification of Infinite-State BIP Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460575$90613557-7828-436B-9072-1D2158099BFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"336d02a7fb3274eb1d0f63c13311b91da653859a","datavalue":{"value":"1471.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$775F7C70-6CFC-4219-93A3-6DF53AA56E15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a86b0c3195dbfbbd173748bbc8b29bd9eacefb0a","datavalue":{"value":"10.1007/978-3-319-24953-7_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$874821B9-2161-4EEF-AC4D-ACD084F25305","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abe52fc928b8b73b440beba4d68e20ddb95971c7","datavalue":{"value":{"entity-type":"item","numeric-id":243975,"id":"Q243975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$68E054F0-8CC1-43F1-A048-283DE43FA80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$FAB359E2-449B-4108-B4FC-FFE092F8B9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25ce9951c0075596777327dfe47a175b125afaca","datavalue":{"value":{"entity-type":"item","numeric-id":554641,"id":"Q554641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$788933DE-1A29-48C6-B960-E35EA54709C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49f362d073bbe8a8d138f2af9af0d2a06b61a58c","datavalue":{"value":{"entity-type":"item","numeric-id":479824,"id":"Q479824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$2225A4E1-234E-4C89-B0BD-BBE2F94FA0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$06EA720D-E9F2-4C15-82D9-9DA95A194E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"583c37d2826fcbe198493a895fc58be742627dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3460574,"id":"Q3460574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$CCC3946E-FD91-4086-8811-F24C3381B8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3733d74b17adf403cac83c95a6e14a37f9f92fd","datavalue":{"value":{"entity-type":"item","numeric-id":369695,"id":"Q369695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$3E863905-9E5F-45CE-BC52-7507E0F86A96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460575$0242D17C-61DF-4507-8F73-D4F32BC5DA4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460575$95AF14B3-B027-4040-ACE1-5785B39B10F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2ba978f0bc6b347e419b900a83f9950d040c1cb","datavalue":{"value":"http://infoscience.epfl.ch/record/211062","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460575$32702F4A-D605-406F-B564-5AE18A9C7354","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$E9FB1C15-5C29-4122-B835-3EA8F68CE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$58AAEF26-A704-4F9B-AC53-392363DAC028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bce991b79ec822cffebd93c06754724126b2e11","datavalue":{"value":"6527561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$C5ABD38B-99B4-41D2-A7C8-CF9CDA0C37AF","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":"Q3460575$21177994-CB25-4697-927F-D83647F96C0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546b0a698b70907e2ee19cb08ddeb4e6f41729f2","datavalue":{"value":"W2244544521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$D49B0C37-A6C3-4636-810A-1E68ACC0A36F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fdd1ed0d8a1be2aa5b163e4310b87cee2a57c82b","datavalue":{"value":"Q62041123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460575$3FB7D53A-7C9F-46CB-810F-B80F8DAAD433","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98db3fb1c314b48f32fa86f75703a555c00658b3","datavalue":{"value":{"amount":"+0.9086796","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":"Q3460575$1419586B-76FC-4EE6-A881-F217AEFC859C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b348c822bf3cc8cca64913278d146aaa15c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527279,"id":"Q3527279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbb02ce5531fcdb16e0f28fcc566f007eb12ae8","datavalue":{"value":{"amount":"+0.9076123","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":"Q3460575$DBB990B5-64EF-4847-9C96-D23AB626AE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e530c6fe441b106913b7066bfaad740a79074a93","datavalue":{"value":{"amount":"+0.89861923","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":"Q3460575$6242F7B0-B6B7-4071-9AA4-F2110DEA6F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572b5a784a1a8dcc45222f643d4dc8ddc2a7519a","datavalue":{"value":{"amount":"+0.8906272","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":"Q3460575$D25571EE-3777-4601-8369-34317067FF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1d892fafc997bf4e518fc8e8e79e6da6074ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f5ff9b9ea37e6aad8073d487c1aefce04b4aab","datavalue":{"value":{"amount":"+0.8891846","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":"Q3460575$FEB5EAED-4804-44F4-9FF8-DD23D825CD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba021b6b8eb43d64b5088241a69b7c9e67b3597a","datavalue":{"value":{"amount":"+0.8852539","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":"Q3460575$AD9B324D-E72F-4F74-9D40-09F6C075641D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f940aa9879f0dc66ba154f691a5c0e6f3059c8","datavalue":{"value":{"amount":"+0.88497436","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":"Q3460575$1587EBEC-318A-4AB3-93F7-33B34052423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0143549ab0739cdae5b91cd5d47e09062d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d08dc00740be9a7b98f9fc518fe734424763e833","datavalue":{"value":{"amount":"+0.8832015","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":"Q3460575$10A0D952-02C0-46DE-9097-1115BA9B71C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460575"}}}}}