{"entities":{"Q4913769":{"pageid":6943348,"ns":120,"title":"Item:Q4913769","lastrevid":51687812,"modified":"2026-01-19T11:57:25Z","type":"item","id":"Q4913769","labels":{"en":{"language":"en","value":"Coarse abstractions make Zeno behaviours difficult to detect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6152236"}},"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":"Q4913769$81455F04-CA59-481B-A6FA-0A697CFFADEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"267cd01e9685a1a79ea271e8e7d771adff47d9a8","datavalue":{"value":{"text":"Coarse abstractions make Zeno behaviours difficult to detect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4913769$DBFADB02-DBC8-4792-8FA8-402985274A58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b86a3c115db2f8d732c59e60f86c50590a01873","datavalue":{"value":"1260.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$ECBCAD60-C523-4A45-B61D-388507F8A353","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"525f5eb2d98ccef6d8c4fdf41d6964bd8ec443cf","datavalue":{"value":"10.2168/LMCS-9(1:6)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$ADA5D491-CCA9-4BB2-B025-94E2FBDADC65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913769$EECC8D6F-5883-4A94-AB9F-61C75959166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c384cd2d1fbc04d369354d34025bdfed89883e","datavalue":{"value":{"entity-type":"item","numeric-id":342705,"id":"Q342705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913769$D70B2644-DDBD-4B75-A192-16995F8D2904","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913769$E5A1F960-AC06-4893-9981-C0E3D777D40C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8d05c5960e17df88a20f497dd893bcc369c3eaa","datavalue":{"value":{"time":"+2013-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4913769$2D91C83E-0B82-4AB7-976C-505915137A6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$8FB6C578-DDCB-4B4F-9CEA-179F691C0EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$E870B7B5-CC21-449F-A5BD-71D9FEAE759C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$656A9573-522E-408B-A2CB-E001B3FFEEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$663DC82A-3401-4E9C-8DD1-1DC6F12F2638","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00e4e56a25ad8784b2a1f4f65f072a02d93d8e64","datavalue":{"value":"6152236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$BF8C8213-EFCF-422E-A8C4-12F2380BDB7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913769$C55D09D2-F8FD-4A32-B070-A6783FD1270F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7b1a055e1c84d91bcd6a083603e6509dbb04cec","datavalue":{"value":"Zeno runs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913769$BE69B69E-B160-49C0-9C01-6ACE3C4C8D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0292d7ae2b8e3a14fbdf5d645725bd7a994ae5","datavalue":{"value":"abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913769$4D40F0B6-636D-44E7-9D54-AF027E6A4194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4913769$A69286C1-AF7B-4CA9-AC88-EE68D34FD3CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"08c3a2d3bf8667825e2548d6fe1c23574010f6b9","datavalue":{"value":{"entity-type":"item","numeric-id":32987,"id":"Q32987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4913769$66AA6691-301D-4743-951F-1BC5DBC7EF52","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":"Q4913769$0CBAE761-F95E-42BB-9B68-8D65E0AF6F35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb164e05f4a10caff909288c95891f807bfea9c8","datavalue":{"value":"https://doi.org/10.2168/lmcs-9(1:6)2013","type":"string"},"datatype":"url"},"type":"statement","id":"Q4913769$1AB00C5B-10AD-4C6C-9B8A-1AF7787A3F4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363fb932ba3017f6303c876bfdffb4bab564a81a","datavalue":{"value":"W2624809536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4913769$F8DE2C52-320E-4B6D-9680-698D398397CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a170975d6532548c3e7f6c048cca75ddb42df254","datavalue":{"value":{"entity-type":"item","numeric-id":3090824,"id":"Q3090824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af9528deb31bbc75b9d54bda588234e8797cfcc3","datavalue":{"value":{"amount":"+1.0000017881393433","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":"Q4913769$4998B7CB-5C39-45AC-9069-E33604C479E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7544124a4232ec3850f86b379191696dc7bcdf89","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eed77137f5011d3a5404a35ead3bbdfefab2416","datavalue":{"value":{"amount":"+0.878594160079956","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":"Q4913769$46C54B3B-1DBF-484F-A149-DC0FB60FCD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2f12ebe22f80b9bf1ee6a1e2082925ac10012cd","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e314c8429ffb0e2cfcdf81104735d9c513f5f586","datavalue":{"value":{"amount":"+0.8075243234634399","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":"Q4913769$B62EBBA8-C857-4E08-890E-36CA5E86CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee5c015f97247526b6ff4b5564ac3662377da10","datavalue":{"value":{"entity-type":"item","numeric-id":4649399,"id":"Q4649399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1519d9aac53967f15fddd6a1bedf9ef879a7f2ba","datavalue":{"value":{"amount":"+0.7863041162490845","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":"Q4913769$DC1A52DE-02C9-45FE-874B-7FBF1D395FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9172173f7658801414ffcbdb80a6df30c0b6f7","datavalue":{"value":{"entity-type":"item","numeric-id":6108439,"id":"Q6108439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a626ef10e83e56572fb54aa318772e5838022b","datavalue":{"value":{"amount":"+0.7748508453369141","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":"Q4913769$E4B66463-AB88-421C-8772-EC2F931F6440","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4913769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4913769"}}}}}