{"entities":{"Q4251060":{"pageid":6280661,"ns":120,"title":"Item:Q4251060","lastrevid":46832904,"modified":"2025-12-25T16:43:40Z","type":"item","id":"Q4251060","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304329"}},"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":"Q4251060$E42EB50B-0817-490B-A3E7-3F723AC5D582","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8565047c35ddeb4edbadf8274b5f78211c8c6eeb","datavalue":{"value":"0926.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$F5844C68-68AD-4EAA-91CB-A80AFD0CCA8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251060$3BB6E781-3567-4D3C-9B5D-5F29C8C2AA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251060$3623746E-F60E-4FB5-94B4-58B0FD364DA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251060$A02483CC-E138-473A-ACD0-5F9CC1F89CE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$C9E4640E-BEBD-44E2-98D9-01935961A5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$2F50BC12-7FF6-4C6C-BAB4-2986E29FB6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$71432CC2-6E6B-4CD2-9C00-6FF70394EB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$DB8CE26A-EAA2-41E6-BF38-CF547499867E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$E83D7CE3-36DE-4A14-8316-44B470BE9A6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6898cf52d1480dfc34192b66aae8885b5d245a25","datavalue":{"value":"1304329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251060$3505895F-F44F-4C88-9110-09CF5F81B54B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4526724ec8ba56aff2be3768c01e689f8bd217e5","datavalue":{"value":"vector addition systems with states","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251060$F5FAB9B3-32A0-4A67-ABC6-B002D70BB71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53f0b584eb3f13cb81f40355130b0ab36354d47","datavalue":{"value":"concurrent systems with unreliable communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251060$E0926B43-B495-4AB9-BD44-B4BCAC484F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6415f5eda239bdfb642a86b3146c3a7917629b7","datavalue":{"value":"decidability of model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251060$BE80EB0B-6280-4E2D-8EFD-F8D7FF727161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251060$3C2CFD77-0D48-4DC6-BDA4-836C0F8500BD","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":"Q4251060$88EE15A8-F490-416F-B01A-294E4964B95F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f251bfd13912a6e3980eb0c1f8366951da194aca","datavalue":{"value":{"entity-type":"item","numeric-id":4417855,"id":"Q4417855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1263e0dac6d03254d4f0eb77d3ef23f9a21a210b","datavalue":{"value":{"amount":"+0.8337472081184387","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":"Q4251060$00E1A816-A2B2-486D-B589-B2CA5C6CEDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e7c489b75fae4bcdc70c6503f47174f82cea840","datavalue":{"value":{"entity-type":"item","numeric-id":4708602,"id":"Q4708602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f7d8056252e71b11a1e779c4eb91833d884b3f","datavalue":{"value":{"amount":"+0.7981907725334167","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":"Q4251060$B47B78F5-92D8-4309-96D1-BFCB07F7C151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c9391fd43a9c5158e3d155577d34818bafc6ea9","datavalue":{"value":{"entity-type":"item","numeric-id":5325845,"id":"Q5325845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a06fbaefd4ec974dae7734f76ce187efe337a0","datavalue":{"value":{"amount":"+0.7824857234954834","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":"Q4251060$0A9ECA84-D314-4E32-A5F3-D5C787E25763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d1cde502c2717d0ec1f1da0842a5ba6f90af1e","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3942d83aef7f4db6555cdc7a59385e683d1560ac","datavalue":{"value":{"amount":"+0.7807354927062988","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":"Q4251060$029F56EB-A284-4F97-AD3C-BCDECBC820FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251060"}}}}}