{"entities":{"Q4952305":{"pageid":6981887,"ns":120,"title":"Item:Q4952305","lastrevid":47473306,"modified":"2026-01-01T20:24:12Z","type":"item","id":"Q4952305","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444725"}},"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":"Q4952305$92340555-BA8E-4577-A7CF-23323805F529","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d57905387dae08d2f611e7ee8f550b902918b27e","datavalue":{"value":"0945.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952305$6EB01FD8-F555-4C1F-B7D5-E87005C16E26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23d5b1d78f90bf2e4f97dfa95c7cbd050929044d","datavalue":{"value":{"entity-type":"item","numeric-id":347842,"id":"Q347842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952305$D0524946-3C6F-4EF7-BBE7-1C503BB15C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4952305$C083F25C-B24B-41F0-88FA-9E90C3DB631B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7543152ecddaf21ed728b3008f8361c72e57a31","datavalue":{"value":{"time":"+2000-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4952305$3F138583-B8FC-4CE2-9F53-7437D521A259","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952305$19B5689F-C78A-4E87-91B1-9CA059328769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952305$032E8694-B633-4862-8924-AB0AEFA81094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952305$CED73A86-94E0-4B41-BF28-DB40880AC539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"031a14434d07273767c6c375b2f5a59c2b5a3e38","datavalue":{"value":"1444725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4952305$1A5B4963-4CA6-4E18-A8F4-FCA92C83EEB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952305$A8A981F4-27EB-41E4-9C83-F510EB38F26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acad61b946c4ce6b7a43fb8f8ee86dccadec2404","datavalue":{"value":"stabilization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952305$04338FAA-6D7B-490C-95A1-71EEC2049787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"734033456ecb77d25f10c829d48fd96af0b404ee","datavalue":{"value":"specification and verification of concurent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952305$31988975-78FA-42BC-AD49-A3D2D3D9A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4952305$E347609F-C62E-410E-BE91-84FC595C951E","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":"Q4952305$9DBCDD30-86B4-4592-BBD6-73CE99E410D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703098d28f9d515f26515b8f0364c519314d5033","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3fa64b650d02387a985d565da61ad89e61b967","datavalue":{"value":{"amount":"+0.7770273685455322","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":"Q4952305$A549F434-54D9-4E28-95F6-AA2762AE250B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ae1c2c6fb9c7df49264e05a1438c277260b29ea","datavalue":{"value":{"amount":"+0.7725234627723694","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":"Q4952305$02AE306B-6018-45C4-90DA-3D6264F25C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf497d140846c67d770fd0b86e6da7bc74fb31e4","datavalue":{"value":{"amount":"+0.7714816927909851","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":"Q4952305$9B32E40E-DE38-46AD-97BB-0B188CCD0BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b7abfb9db945b8cd86a050cad052e5266dd81b","datavalue":{"value":{"amount":"+0.7671681046485901","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":"Q4952305$3720A9B0-D3CB-4F86-BC44-378A9CE5DAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da5b4ac30079ec985bc118bba22bf4a6cbb2161","datavalue":{"value":{"entity-type":"item","numeric-id":4702960,"id":"Q4702960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bef3e9f09b05b7a5b706ce2ce99a9181744d395","datavalue":{"value":{"amount":"+0.7661707997322083","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":"Q4952305$0EEC2C75-5C81-48D0-A151-80F2C8E204C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4952305","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4952305"}}}}}