{"entities":{"Q3972532":{"pageid":6002431,"ns":120,"title":"Item:Q3972532","lastrevid":42292275,"modified":"2025-06-04T12:07:00Z","type":"item","id":"Q3972532","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 15894"}},"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":"Q3972532$EB6CEFF1-4031-429E-A12E-BEEDA7DAB2A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a76df72e016bf47b35929bc5e587d9e8b81df02","datavalue":{"value":"0746.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972532$F8277300-87C1-40F0-AB9D-9B14C7B2CA22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b934d4b20a6a8e1518ba1be8d3f7f439aafc12","datavalue":{"value":{"entity-type":"item","numeric-id":875961,"id":"Q875961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3972532$34FAFCE0-AF9E-4AD8-B446-74FE5D7B10AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1b68d0e89e7b621c100d1bdf2782ef774a2f362","datavalue":{"value":{"entity-type":"item","numeric-id":1044835,"id":"Q1044835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3972532$370E5EB8-5848-4B7A-B8C8-81965583696F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3972532$23D0B162-E9D6-44A5-B2A5-2962AA951D4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972532$8A292A2F-77AA-494C-9D80-88374FF41CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972532$2D4BD82D-4A3B-4143-A30D-7EBEE8215869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972532$EA5F4DC7-8B55-4A2D-ADDF-435275A40770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972532$1049EB4A-5D72-4CE5-AC40-5310D6F8F1E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"230d6e931a50d086c3de025804d5f6fa67b2aa54","datavalue":{"value":"15894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972532$6367D48A-B822-4F94-B9C4-CE45EFFDA9FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad5dc976a7d638c056ad68ddcd8aa2912deb96f7","datavalue":{"value":"concurrent transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972532$0720F8D0-12D9-490B-8DF1-301A69D565CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972532$3569FDC9-30C8-457F-B8A5-79FD6C9BA355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972532$B68999BF-D932-496E-9F8B-AE3872AF4B19","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":"Q3972532$B553B9E9-3B72-4D05-A54D-331B249BDC01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52af7c0518a8ff5d2fba3f61c47af92b6043dc71","datavalue":{"value":{"amount":"+0.9354333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$09976383-58D0-416A-AE7A-9BB9BB897656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e39742718b3019cf2de5e68746dd68d1677924","datavalue":{"value":{"entity-type":"item","numeric-id":3321430,"id":"Q3321430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ff2e72c73c8290418fda25a64e0510c226bacd","datavalue":{"value":{"amount":"+0.92519635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$A666B03D-C384-4417-835D-5CD3EF0B514D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2931df4080a5d50ea6209793878fd216687d0e39","datavalue":{"value":{"amount":"+0.9233123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$ED21B8BB-F258-401E-9545-7726F78CE2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0545a9d5c79786c3a36c93b84a54c0d60d95bbed","datavalue":{"value":{"entity-type":"item","numeric-id":3812210,"id":"Q3812210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7659f718933f57f8a5f4650938e047051eace76f","datavalue":{"value":{"amount":"+0.92082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$BE325289-9EA4-43CC-881E-DD92DC764600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d0e01841c5aaee7439fb985d58027be7ac70fb","datavalue":{"value":{"entity-type":"item","numeric-id":4733381,"id":"Q4733381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7659f718933f57f8a5f4650938e047051eace76f","datavalue":{"value":{"amount":"+0.92082","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$7EC0FE24-C5C0-4EC8-A2F0-04FB68189DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce255846af31ca403bd690e187813459278fc66","datavalue":{"value":{"amount":"+0.91417694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$2DADA8EF-F3BE-46F6-9403-7FC8272644A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b5e5bb9a2467f261c749658c5aa1072f20bc7","datavalue":{"value":{"entity-type":"item","numeric-id":472794,"id":"Q472794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6922a6a0485c94c91da6ca50a092a711003ad9","datavalue":{"value":{"amount":"+0.90667003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$0E6E6D86-C73F-43A4-A0E5-C52C27E7EB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455eff5655d25768f845d720778c71989e77003a","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c6922a6a0485c94c91da6ca50a092a711003ad9","datavalue":{"value":{"amount":"+0.90667003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$F1F835EE-6BC3-48DC-8DF1-467F14F2163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aea989594c202cea93124a53cc195fadbc57d43","datavalue":{"value":{"entity-type":"item","numeric-id":4032915,"id":"Q4032915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db08494696961ba4cf7c68c860593b360b997b2","datavalue":{"value":{"amount":"+0.90476704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$4859127D-04FC-4573-90CC-32B48852B40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05640c4c4c49f4239071a459de9589983503ef53","datavalue":{"value":{"amount":"+0.89938796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3972532$135F45BF-8810-4273-8A3B-841CA94C639B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3972532","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3972532"}}}}}