{"entities":{"Q4817052":{"pageid":6846632,"ns":120,"title":"Item:Q4817052","lastrevid":74712717,"modified":"2026-04-15T00:00:23Z","type":"item","id":"Q4817052","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2100580"}},"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":"Q4817052$DE7B3317-160D-4A6C-B048-4C8FE1AB8736","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9a996a24f41bf97ccf093ba06573714e9ffd859","datavalue":{"value":"1047.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$FBB8D27C-A6EC-4527-8036-B5794A0C08EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817052$6FF895D8-EB01-4B48-B72D-92E14B332C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e29184a057a37add3b7d61af5e7b02504ef3d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1602966,"id":"Q1602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817052$A5EFB6B3-37D8-4FB0-B093-491CB6AD9BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ec58a0b89f617124dd985267643140ebe98b26","datavalue":{"value":{"entity-type":"item","numeric-id":685614,"id":"Q685614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817052$AD9519A2-2A34-4D32-B1D0-B0C0620D39F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ff9390fda2e55580040130750b9d23c764fd98","datavalue":{"value":{"time":"+2004-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4817052$1B019AD4-D506-45FB-A501-2DB7CB2E9CF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$A3F69086-8F24-413E-A971-CC0626FF315D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$CB2DDDDB-A2E2-4C60-B33A-BEA2F87FEC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$762718D0-9A83-4BCE-9F4A-9AFAF08EA2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$ED46287C-2D40-4EE0-B1F3-EE8BAA64312E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$0D959F23-8DDB-4AFB-B501-6513D074A329","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"357fef40de82d049bf5949c004497d70a2318848","datavalue":{"value":"2100580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4817052$3E10656B-3B85-4785-8080-D073466AD1CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817052$26DC984B-6748-4415-B33D-2245274B6AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb76e657b2cd4aecdecee0500b416355cbbf7beb","datavalue":{"value":"feature interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817052$AD1F4AF5-AE5E-41D8-8657-8D986CD636FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070bb4a362c4219c4a416a0bc6e1a56629cea37a","datavalue":{"value":"alternating transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817052$B39ED0F6-EAC9-4E2A-883B-8CA425074DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98dce8a7545f3a58597054ac5ad99f0547107475","datavalue":{"value":"branching temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817052$C05493D0-8A77-482B-9B25-4AA5079CC35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4817052$3D284859-6937-4529-BBF5-DF8AFA5579CC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4817052$F8E0B44C-874B-4E21-863C-0ACBB885D05F","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":"Q4817052$95BD7052-F903-4787-9EAF-771AF63127A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f59f2398cc7410add888bd9865357d2b2893f4d","datavalue":{"value":{"amount":"+0.807418167591095","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":"Q4817052$02C55EA3-BC15-4BB8-90C3-B56FD15FC168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5781cc597f42d8fdd36bac2c03695941c554b2f","datavalue":{"value":{"entity-type":"item","numeric-id":4738167,"id":"Q4738167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cda34aabcf024bcb70f46a26d27bee5620b8ca","datavalue":{"value":{"amount":"+0.7942671775817871","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":"Q4817052$22396F72-D293-43E2-A2FF-C485812B03ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d5e10085474351ca4f964bbf42eb7e0428e9bb","datavalue":{"value":{"amount":"+0.7935800552368164","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":"Q4817052$DFCFEE9E-CCF5-4C7E-8CFC-A75F0AAD5E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e9bf6f9962e78853b4385e85eb0d701c840310","datavalue":{"value":{"entity-type":"item","numeric-id":4412257,"id":"Q4412257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f74af1b26c1d45e2c81d098987b97b1c07d2598","datavalue":{"value":{"amount":"+0.7931870222091675","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":"Q4817052$63DEE859-1E0C-4CCB-BD17-C2F9FAEF98CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a758e31b118fbf79943aa7ff50361510c2d3f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5758039,"id":"Q5758039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1fac718f2edfbecf1881c56ea5f5e1af9a030ff","datavalue":{"value":{"amount":"+0.7912981510162354","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":"Q4817052$FB2BC7F4-BC55-4664-B2E9-8F7895DEF380","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2100580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2100580"}}}}}