{"entities":{"Q2379973":{"pageid":2390716,"ns":120,"title":"Item:Q2379973","lastrevid":72650130,"modified":"2026-04-14T06:18:01Z","type":"item","id":"Q2379973","labels":{"en":{"language":"en","value":"Incremental construction of coverability graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5686414"}},"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":"Q2379973$224592D4-3427-4E03-856F-E7508C06FC19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eaebe4934bf9d338f0330cf3eb7d63d02c8fe156","datavalue":{"value":{"text":"Incremental construction of coverability graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2379973$421AA54A-32FD-4467-B0F6-F137AEEEBF4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9cb52903cdf5c2e2312d4caaf6c4185d1184722","datavalue":{"value":"1184.68345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379973$29184D27-9F9D-42A6-8433-2F13F2901878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$92AFA4F2-169C-4F16-B877-0DDDFFDACC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79711d69fa22e4f4d42091d0eb7d714454fc1f04","datavalue":{"value":{"entity-type":"item","numeric-id":2379972,"id":"Q2379972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$11C8B094-0C8E-47DF-B504-E0F43F4BA395","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$259FF3FB-77A9-45A5-923C-B2171F5033DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b2597d51ab54359972966267a61b08692759225","datavalue":{"value":{"time":"+2010-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2379973$E9D0D35D-AE72-45FA-A84D-5D290EA3FE01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379973$4EDE1689-6A22-4FA6-B080-4413307F9108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379973$26EC7685-9D92-46A5-9923-7950A10D0B76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc5030a1a34a0f6363a4baacc8a5bdf0add2e8e4","datavalue":{"value":"5686414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379973$DD8FEF58-33A8-4F61-8D1F-1182C27CA347","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379973$4D415D1A-F4B7-48C4-BDA2-1BBD202A86D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379973$D805AEA7-FEC5-43D0-A384-96F3F78DDADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379973$92B5BD16-7635-4C1B-BFD6-7AEEFAB889BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2379973$1B543921-AC42-40AD-A73C-B34B7146183B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9ef29e164ba705ae9d8f43b7a6725334a308dfd","datavalue":{"value":{"entity-type":"item","numeric-id":20412,"id":"Q20412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$E5E14083-80C3-4E30-BF77-201433D936FB","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":"Q2379973$A8F4C405-69AC-492B-99B0-B4A7B554BDEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a24b96d072b7fe5e7535852f8d8507975aef955","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2007.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2379973$78F34A46-0702-4254-A13E-307291F565C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a82143c844e1089450c8758f0b01ccc1b14fee2","datavalue":{"value":"W2079417052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379973$B2207F84-2579-4D5A-A1D1-355373E6AA84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$6F8CA23A-CB1E-4494-B4BC-1B35AE5E853B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d27c36b71d76bdf06be124b4a6529c291f73fb","datavalue":{"value":{"entity-type":"item","numeric-id":5712328,"id":"Q5712328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$95803C6A-EF42-4F26-90FC-909D1180F7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$5B888442-5011-4BE7-B49E-B73A4EE32298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$BB8C46D8-B95F-496C-97A9-0C542763D4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$3EA5DA30-586D-4EFB-A055-2DB43C0E6794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$64B2BA44-6EFF-4E94-8D41-B754EC1DF6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$BE5FBF03-1139-44DD-A183-8E3332E9ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2379973$F9A71D3E-0A9A-4211-99CE-A8C08256C939","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2c374d117f3ad4eba806966dba595e7ac8270e8","datavalue":{"value":"10.1016/J.IPL.2007.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2379973$A2B391B9-9A77-469B-BF88-92D3FC918EE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Incremental construction of coverability graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Incremental_construction_of_coverability_graphs"}}}}}