{"entities":{"Q4953401":{"pageid":6982983,"ns":120,"title":"Item:Q4953401","lastrevid":46911180,"modified":"2025-12-25T20:25:00Z","type":"item","id":"Q4953401","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444359"}},"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":"Q4953401$38B9CA10-4463-401C-8222-E749D9DBEB56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68731b72d81802a92e7899f5b68efbf2caf80120","datavalue":{"value":"0992.93050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953401$88F0E45C-F596-4C24-BF9A-38F6C6C30AE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"302de52cd79b694f710a98c295d3804f924d6528","datavalue":{"value":{"entity-type":"item","numeric-id":375817,"id":"Q375817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953401$01A7BDF3-A38B-4FFF-9A92-B7C8C5148331","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"364e6366bbf5c2f86b446cebcbd0e0890a7f802a","datavalue":{"value":{"time":"+2002-09-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":"Q4953401$E1019A93-D341-4517-AA4F-ED27C0D6F525","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953401$935FC099-1319-4EDB-B71D-E646F830974C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953401$07427B0A-16DF-4708-AC3C-941F096FF2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953401$96C36472-5875-438D-82F6-0A9C3B9238C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3867eb280b279f0f9134ad8d0d30a2d0a5f15200","datavalue":{"value":"1444359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953401$458B8CDA-B61A-4AA8-81D6-57F7648706D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$D64E9A31-C383-495D-A529-87C2CE711BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$A163C7AE-EB51-481B-B464-81F54F0C7C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"943ded016835a8de025860758eb46e83f2f05a00","datavalue":{"value":"parallel compositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$B0583E96-49E9-45EB-9CD7-1DC31EECA53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5cebed8fd44812a3524b0601629da836b14b9aa","datavalue":{"value":"algebraic timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$25F7074F-78E5-4508-A5B5-AA3D3EDEC46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7cb7aaf2a5bb8a7be5ce8256b40edd3ca624af3","datavalue":{"value":"parametric timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$503EF0B2-D692-4616-885E-746719E905D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$CBB054A9-4140-4F1F-AFA5-7406A5A4D16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2c88cf105fe5835137ad2fa3a42c08ea633895","datavalue":{"value":"complexity results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953401$14984CBB-73D0-4532-BFC8-D12BDDE396FE","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":"Q4953401$05624E55-F560-499A-B486-1F520328F372","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f162c2a21cb056d5b5f98928bc7ee53929d3de6","datavalue":{"value":{"entity-type":"item","numeric-id":1300103,"id":"Q1300103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00d8dbd13a88468a8ffa332a6d64a50d3a3b38d","datavalue":{"value":{"amount":"+0.8504244089126587","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":"Q4953401$8F243339-592F-4AF1-ADC1-44ECFB9A47ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e828ca55e50bbb3ab91ce8a6619a5f5ae1c98d","datavalue":{"value":{"amount":"+0.8346111178398132","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":"Q4953401$778D8122-9A6E-439B-B6E4-A3118C2C70E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fe06c2944f041f18177ec45ece81e2db5c6b751","datavalue":{"value":{"entity-type":"item","numeric-id":3172861,"id":"Q3172861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faf18836e52283e2cc74b91d4a1fb0cfa472aec","datavalue":{"value":{"amount":"+0.8338496088981628","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":"Q4953401$FF7FA902-9E21-4748-A4B3-E740EB362F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080dc784f97d422f30e56964afa2df10bc707388","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"960d10d20412c6caa7b2e4172203e3abacd02d2e","datavalue":{"value":{"amount":"+0.831474781036377","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":"Q4953401$76A0F241-36D6-4C7A-B1B1-BD8B3956F9B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4953401","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4953401"}}}}}