{"entities":{"Q4353562":{"pageid":6383161,"ns":120,"title":"Item:Q4353562","lastrevid":41267768,"modified":"2025-04-26T19:31:12Z","type":"item","id":"Q4353562","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059247"}},"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":"Q4353562$2034CFC4-BC3C-4F06-B34A-50126B19C825","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a190ec4e734b0d048d376e35c600465f45440fd","datavalue":{"value":"0877.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353562$4C926207-2212-4754-A299-42B762FA9CD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5392596ed00365b9040485b26d567df955774c4a","datavalue":{"value":{"time":"+1997-12-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":"Q4353562$0146AF94-3709-45E1-8F46-C54015BA2B2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353562$23209B21-0FEA-4D9E-8F16-F3CD03B47D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353562$267AF4AA-48CB-4067-B4F6-1F5969BA3305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353562$BE2ED264-B3BB-4C96-939B-58EBE97E61CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7901a950692aad7605037d4cc9d246b02f445e9","datavalue":{"value":"1059247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353562$0B1E157F-40F8-4DD0-B0F4-B2BF923D5509","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$2102FBE1-ABB0-427F-9A53-4A5E3854A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$666BD670-98FA-4CA7-B5F4-734DDC1B1908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$DE7EF6CB-B9ED-4643-A10A-7E31EB21F1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7cf288a135ebc768a0d546b1182bf2d9e745a9","datavalue":{"value":"temporal logic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$29CFF301-1BB3-44D4-B9F3-DFA0B77983E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$61BE0707-D47C-4937-B035-2B6DA6B01C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f05057b684a3be957585301f3e9e4017c50565b","datavalue":{"value":"finite state system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$985306DE-D652-479D-BA0E-909DDB5A73B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"347c402687c507725345908aa8cc41ad30fa0dc0","datavalue":{"value":"model checking algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$A949144D-5464-44A2-BB37-163B64F0C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4441f508fde4e81725640d48575b0227ff994397","datavalue":{"value":"Mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353562$77A67EF2-30C8-4A93-9287-30501C72B85C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353562$193A8D4B-4B29-4B2B-84CD-9ABD1420AC78","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":"Q4353562$80BAF96A-C066-47D2-B38F-87D6E3B0A511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44999439e2e30d077c5c9e9e2363fee856cf2c04","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2a2f7b7335df78013262faa7e2f7770a0d398a5","datavalue":{"value":{"amount":"+0.98676896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$318CEF56-F498-4D04-9062-494DE60967BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822ffcd1cfc0c408f2405e7079d92040be30bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3023539,"id":"Q3023539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b892e7f9afa7778bd7181e8f699a120adf9fc1b","datavalue":{"value":{"amount":"+0.96446335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$D50F99C1-284B-455B-9116-E7A4CAE3CEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a636806e2b85ffe545e69f53a74d3ab65f64fc","datavalue":{"value":{"entity-type":"item","numeric-id":2849862,"id":"Q2849862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71660c699f94c010739de04bbbcfd6e2b0052084","datavalue":{"value":{"amount":"+0.9637989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$D0695486-6411-4352-9B79-1B59B5F2CD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233e481bf4fa804d731dea51c023ddd9dec63040","datavalue":{"value":{"amount":"+0.95420945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$DBD4C845-1DFC-406F-9672-B6EA9636341F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b416427a4304b1f4d23bb76171b3eb488a30d682","datavalue":{"value":{"entity-type":"item","numeric-id":5854737,"id":"Q5854737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94144eb789281453bdf310e9ae22652e1f1598ea","datavalue":{"value":{"amount":"+0.942253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$36244D31-AE61-44D3-94F2-86C8C04129E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1b20dba2def1ffbc351f1c3bec44998a97713","datavalue":{"value":{"entity-type":"item","numeric-id":633088,"id":"Q633088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5f0ee73de81f7b8d61e21302c440c15bf0d011","datavalue":{"value":{"amount":"+0.9420028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$ABC14451-4E26-427E-836C-EE493E8DE67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e50f9dc48bd33dd6227a0d358ea4cce7783a1eb","datavalue":{"value":{"amount":"+0.9262571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$8CD7EB4E-6497-4AE9-A9D5-FE433E299562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0c29026300fab31e0708a1328c69c2df30dc2d","datavalue":{"value":{"amount":"+0.92589456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$7DC99BA0-AC61-4141-9536-9247AE2D11D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95fecd08ae32fff5542bc4aed0604a36705e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":5902152,"id":"Q5902152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cb0661cc45f1f1b73375afab90dbaa1a0d9cde","datavalue":{"value":{"amount":"+0.9247631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$5B16626F-34DC-49BF-89DB-3F3CA7814A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e504bdf328f77aa8f61f17477e5dc74d3e9ec21b","datavalue":{"value":{"entity-type":"item","numeric-id":5895528,"id":"Q5895528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1cb0661cc45f1f1b73375afab90dbaa1a0d9cde","datavalue":{"value":{"amount":"+0.9247631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4353562$F012E439-6AF7-4891-9F38-B6E86D4E6687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353562","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353562"}}}}}