{"entities":{"Q4251919":{"pageid":6281520,"ns":120,"title":"Item:Q4251919","lastrevid":46803168,"modified":"2025-12-25T15:17:12Z","type":"item","id":"Q4251919","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304997"}},"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":"Q4251919$583A0D4B-D95C-483D-AC89-4CBCA77ACD9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bcef4f449f823238c9df01934564c72b5f499bb","datavalue":{"value":"0928.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251919$1526B62F-EEF4-4C72-9C88-6165BC99D61F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251919$1990D0E3-78AC-4BB4-A502-E3C89FAE5511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251919$89D3EBA4-8118-4985-AF65-6B8554FD6A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251919$79569DA3-9224-41A8-9ED5-954E7A5BC933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251919$54D0249E-5A94-48C5-AEE9-13AC379E802C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c155bf2a6548a3b4cef14d673cdc2b00be262f4","datavalue":{"value":"1304997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251919$491B0964-8506-46F4-855D-0446EB48129F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343be47b05f1d2fa19531fd7d9bcb3382ba8c783","datavalue":{"value":"real-time extensions of temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251919$95EB2539-C817-413E-AE48-A3A3B7225207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3ab858f8ba7620bea90c211766959e6c658e81","datavalue":{"value":"tableau constructions for model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251919$4F9BF86A-9B2B-4ADC-AE03-2986332CAE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1d1bb7d30aa909dd8b9c4d5ca8982371834fc19","datavalue":{"value":"real-time verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251919$7AC6C286-A66A-47BC-9CB6-660AEF6EAE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f48f92ff0b29adb938dd74e93c94c7ffbb091bf4","datavalue":{"value":"polynomial space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251919$343A3C70-5FE6-4EE1-A3F7-79129517455B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251919$FD40B853-8090-412A-B9FE-4AE56E91EFF8","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":"Q4251919$66636F85-B960-4D9F-8283-F8D91D3C0801","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e6ab8bfb275c62ea8d97c3f855933008b46d51","datavalue":{"value":{"amount":"+0.8672327399253845","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":"Q4251919$43AA1C65-DE7F-49B4-B517-EC898848B740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b175a4a94fec2a0a69fa0ab1f871eea6822d0b","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af6500d46b9612f4bd8cb77abd2e79cc6e49e18","datavalue":{"value":{"amount":"+0.8597131371498108","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":"Q4251919$3CAE637B-9B9F-477E-BDF5-8AA9DE258EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b5dd3acf8d7a2cc6c4df0cc3c24b69d64e2495","datavalue":{"value":{"amount":"+0.8458397388458252","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":"Q4251919$310EE992-CCAB-4177-9A24-E32B26052B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afacaae153a5515f538c9563d5360219e4dcd238","datavalue":{"value":{"entity-type":"item","numeric-id":2418645,"id":"Q2418645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1f600355eba9a63b249604815868374579c42b","datavalue":{"value":{"amount":"+0.8426963090896606","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":"Q4251919$E1A206FB-B492-4BE5-BE67-F644ADF73DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810cfb9242c1d7ddbd087374f5e2d2447045a57","datavalue":{"value":{"entity-type":"item","numeric-id":5900701,"id":"Q5900701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07beb3e1ea2ac686bd9d588cc1c65b1a6bdc6d8","datavalue":{"value":{"amount":"+0.8287993669509888","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":"Q4251919$02A77107-3890-43EF-818B-F5654175C5C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251919"}}}}}