{"entities":{"Q5239240":{"pageid":7268808,"ns":120,"title":"Item:Q5239240","lastrevid":55374016,"modified":"2026-02-17T14:43:50Z","type":"item","id":"Q5239240","labels":{"en":{"language":"en","value":"Evrostos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120157"}},"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":"Q5239240$35599B73-ABAC-43CE-A994-312850FAA78D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ece3ac1d486a73b6d23b852e6ea2fa4ec867a540","datavalue":{"value":{"text":"Evrostos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5239240$8ED9D255-9BCC-424B-9D40-AE9605F5C299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d545fd142ab5c5eda46092252caf9f8549ca99c","datavalue":{"value":"10.1145/3302504.3311812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239240$22C70707-FDE2-47DD-87D5-187A8E4A8A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75258d11caf36b4aa2b7c6f916ff2e2538283bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5034229,"id":"Q5034229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239240$CBF20A68-0D94-46CD-9529-43C4CF454FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239240$F44FDD3B-C117-4140-9F3C-95341D5E419E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5c39c25bc8b567b31eb822f1f0078044f1f56d","datavalue":{"value":{"entity-type":"item","numeric-id":5239239,"id":"Q5239239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239240$E2C43CC8-FD83-43D1-A9C4-73A8AEE32353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7832d0cb9d9908d99b0246c9f9004fd2c464f2e","datavalue":{"value":{"entity-type":"item","numeric-id":533799,"id":"Q533799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239240$9B887733-CE93-4DD7-8E42-EEA7C2FBB588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5836cbe288323d6943609762b2a41f27b0c712e","datavalue":{"value":{"entity-type":"item","numeric-id":5239212,"id":"Q5239212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239240$C79D31C6-E29E-499F-A116-E12446EEC772","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5239240$E6F0005B-59A7-4683-A03F-2D4A4533AA14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239240$7B56E214-65BF-4AC4-89FC-C3071D2ED5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239240$A9F49C24-5297-448E-8994-D96FE0EDC6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239240$293B916D-89E7-41F2-9C24-0A8F4FDB1C3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57b970b43a8aeca0568131b1e472d398adc15a15","datavalue":{"value":"7120157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239240$5FF52712-64BF-4715-9B40-032FE5E0617D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239240$04D46E65-4AC7-484F-96AF-A2CDE6316D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239240$B301DCF3-1F0B-42AC-8D1D-E3CFCAB48F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762bc1a389b4540cd169b666dbaf1a8451c7cb2","datavalue":{"value":"robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239240$6ABA3B84-D9F4-4330-ABAD-D28448D8249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239240$DE140651-F9A4-44DE-A903-5AE782F80D8E","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":"Q5239240$4CCF40CD-8C9A-487E-9A2A-C92714FACD5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38a8308fd92e71ec1b669eb2fce5376ff9a220a4","datavalue":{"value":"https://doi.org/10.1145/3302504.3311812","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239240$EDE10810-E3C4-44AE-B3FD-0C42D368931D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a07c313b6a73631247859cec7792fc4172e64f9","datavalue":{"value":"W2937186083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239240$26CBAFD3-55BA-4836-928C-8479BD59B421","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e2fe6104df3343b854e489aa765fe082425704","datavalue":{"value":{"entity-type":"item","numeric-id":5034230,"id":"Q5034230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d699ee7605b62859a881a9132f2867a0953390f5","datavalue":{"value":{"amount":"+0.7906299233436584","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":"Q5239240$1A35A8A1-D118-4ED5-B7DA-DFBDC8BEE52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c1267fc9e25c0842e7cc91cf17982f671b43c3","datavalue":{"value":{"entity-type":"item","numeric-id":5278396,"id":"Q5278396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a01cd3cfe8f012611cf92323f81e4778041bedb","datavalue":{"value":{"amount":"+0.7852799296379089","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":"Q5239240$0545B0D2-5A01-466C-9FE7-122E0CF94455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88759a13cb4d23b8ba7dd2545173bdb2c8d36186","datavalue":{"value":{"entity-type":"item","numeric-id":5898456,"id":"Q5898456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e86144eec7bef2282379b5d58770c8e990e12c3","datavalue":{"value":{"amount":"+0.7531073689460754","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":"Q5239240$B3A4528D-6515-4B39-9EE5-ACEAB87B4B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af5b3f1d8a80f4b29f7f7bb570b7a3baa4d437a3","datavalue":{"value":{"entity-type":"item","numeric-id":5020519,"id":"Q5020519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882109eb9ddd85b487f46d2624229163746ac513","datavalue":{"value":{"amount":"+0.750848114490509","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":"Q5239240$B36559F7-DA48-4FE7-B910-233CE8AB409A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2462efe38644329ba9a263d55a7a92d548557e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6108436,"id":"Q6108436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"866188371be4c2e5d790bb47bfaacf22caf59a6f","datavalue":{"value":{"amount":"+0.7494734525680542","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":"Q5239240$DD4325D1-CE13-4C35-AF2E-CA9E210C9C88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239240"}}}}}