{"entities":{"Q3090824":{"pageid":3101539,"ns":120,"title":"Item:Q3090824","lastrevid":51324683,"modified":"2026-01-17T18:41:23Z","type":"item","id":"Q3090824","labels":{"en":{"language":"en","value":"Coarse abstractions make Zeno behaviours difficult to detect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945185"}},"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":"Q3090824$79F78FBC-23B7-4AA0-9500-E107C18B9158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdf40952af2686952bf738d1697ed45dba19b3a3","datavalue":{"value":{"text":"Coarse Abstractions Make Zeno Behaviours Difficult to Detect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090824$4C021E10-5F67-4642-AFF8-62C60A2A8F87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90e975b54b5a88c92cf17c87f30a7410cfd53d1d","datavalue":{"value":"1343.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090824$87BA89F9-D551-48C9-9D13-FEC408E1309D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a1a8602b8f599c7729e4b33653b0d831fb6fd1","datavalue":{"value":"10.1007/978-3-642-23217-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090824$357A8251-2D95-4FBE-9BD9-4C460A2C92D5","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":"Q3090824$D0C82AF0-1B09-43B1-985E-AC6E0C40E97E","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":"Q3090824$72102CD6-A95E-434C-A52E-39EA9FD29959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$FE0E7B12-311F-4AD8-9F03-E0706B9E4DF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090824$7AF89578-3B7B-4240-AC93-FE434A248CE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beb77bc140741b3f783b86ed5135b10ac0e4dc91","datavalue":{"value":"http://publications.rwth-aachen.de/record/212197","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090824$6DDEFE37-1DE8-4A55-8FE2-CFEA550B0529","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090824$BC2E74FE-2BB0-4D87-AC9F-B062E9A2CE4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be97d5ece80bdcdc176015ea266c0718ea6c2cbf","datavalue":{"value":"5945185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090824$43FBE42A-4B11-485C-8EBF-A90F50A56329","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$C4F209FC-C083-46C8-85DB-2F3D785926F4","rank":"normal"},{"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":"Q3090824$8A2225C7-F26F-4B9F-97A1-787B5600C349","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":"Q3090824$DA266187-22D7-44CE-BEBD-2F8736ACBE6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"932284e64679f8ce35e6feffbf60cac4e82a2065","datavalue":{"value":"W2112744184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090824$A9F35981-FEA7-4F3C-B09C-FBC104FF48DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$3F76B87E-3015-4698-A5B8-63B2ECDEB582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac7ea46ed5829de66002dbc9fdd446ec28b2d53","datavalue":{"value":{"entity-type":"item","numeric-id":1878925,"id":"Q1878925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$9DDE9113-8A5C-4EEF-B1D1-0427A91C125E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c11b7fbda938c615dfad23359f26f27592ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":855006,"id":"Q855006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$B5E52134-5DBF-43A0-B532-A84C0BE662D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff295137b07adfff7025f8212d0a3f11a128cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3510844,"id":"Q3510844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$75CF68AE-FF2D-4453-A19C-044B1145C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2089ffe38848115e31eb781fce76fc8348338c6","datavalue":{"value":{"entity-type":"item","numeric-id":4913769,"id":"Q4913769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$C695B90D-C483-416F-AD42-A6977455F935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d29c51a0e7698d5c431a6acfb9a15f6606a13782","datavalue":{"value":{"entity-type":"item","numeric-id":3648834,"id":"Q3648834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$94374A5E-637C-4C27-AEB7-1A7994551BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bdb575cdb541a62748f0762a05193c4db58062","datavalue":{"value":{"entity-type":"item","numeric-id":2946573,"id":"Q2946573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$026424E0-71B9-4C0A-8C14-2FDC967AAFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f725e79b52842467d6d333988262c529dff4e35","datavalue":{"value":{"entity-type":"item","numeric-id":816203,"id":"Q816203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090824$ABFDDA1F-3AB3-45D3-80EF-5779688A0E7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1056e1e32cef5bd069021eed125b38cd28246c49","datavalue":{"value":{"entity-type":"item","numeric-id":4913769,"id":"Q4913769"},"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":"Q3090824$15C8C2A0-4F86-4608-9A43-0433851C5982","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":"96fe881638d74c8843e49cd104f5baa0c350efc4","datavalue":{"value":{"amount":"+0.8785943984985352","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":"Q3090824$64899BEE-B3B3-4A20-B3BB-A1AE02D8E427","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":"Q3090824$448E7EE0-7078-4C2E-B250-CC8624ABD8F6","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":"Q3090824$44A9894A-7218-49BE-B8D6-B33FAE7866BF","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":"52298a109cce1d257b83f834aa7258f3f1cfab7a","datavalue":{"value":{"amount":"+0.7748504877090454","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":"Q3090824$E6F4990C-D494-45D7-9555-6B00679F75FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090824"}}}}}