{"entities":{"Q1853589":{"pageid":1864331,"ns":120,"title":"Item:Q1853589","lastrevid":74322495,"modified":"2026-04-14T19:31:52Z","type":"item","id":"Q1853589","labels":{"en":{"language":"en","value":"Model checking of systems with many identical timed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857114"}},"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":"Q1853589$E8D7D29F-7336-4F40-85D2-A2A14EDF29C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d05be5635a019708c7d5bda1407aa598dbbfe329","datavalue":{"value":{"text":"Model checking of systems with many identical timed processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853589$8172C69E-2998-491E-AE11-E3B87D6FE7B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32a05d2751c0a672e67d0efdab3ead91cf621d49","datavalue":{"value":"1018.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853589$4E1EBEAD-E861-45C3-A153-274A65129665","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f891bc377368b9655eae8127c960b2fe814bd5f","datavalue":{"value":"10.1016/S0304-3975(01)00330-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853589$D98D8BD9-38DB-4180-BC3F-4B635A46E5B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$4E9DC01D-C289-49F5-A9E9-4A5307C1D432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$2C0E6E1C-17F1-4E7D-BA3D-3C85D6650D3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$BA621F6E-A549-4635-84A1-1F823F5ECB6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853589$9860ED04-F5FB-4834-A6FF-0AA532D5CC50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853589$301732D4-0055-4824-92F6-21194CB8B277","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e5edc8253e1d0be50180328365f772b1c52eeb57","datavalue":{"value":"1857114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853589$676B50B0-7952-4503-A333-AD1941578B7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f14ff883ed1398b2d65adee51d9e181a3924d6e","datavalue":{"value":"automatic verification of infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853589$9A9DEC0A-7BF5-492B-BDEE-21154987E276","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$DBD4DF41-60E5-475E-96DE-ACD4BC75C249","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":"Q1853589$208466D8-E28C-4BFF-98BD-F536947D86CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$4290FFC7-BA3C-4CD9-8D7F-7189BD59016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$375E1E5B-B9F4-4B6A-B9AF-9FCD4DFCF774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$2923698E-ABEF-440D-86FA-0AC780C5F36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$9F23B8BE-671C-4128-88A9-B2B7BBC21626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$EE66FD03-FB89-450C-A329-06C4BD4B0960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1d56cf9ccd86f843c0790138b89035b3d7fdf8","datavalue":{"value":{"entity-type":"item","numeric-id":4138073,"id":"Q4138073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$94A31CD2-880E-4722-BDE1-7628E94D904A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$664DFC7F-2B2B-4F9D-A978-ABE0890FDAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12f32bb6df156535fd471aad08f2522bbbf182d","datavalue":{"value":{"entity-type":"item","numeric-id":2757803,"id":"Q2757803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$96B8E252-D12F-4A3F-A358-6D16684D05DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$C562F0F1-3C7B-4621-A617-99A08ACB19D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$27496B44-E564-4843-B3F0-8FFA7A60C6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e2d1812529ed916e747fcd27a20d3d3ea78e512","datavalue":{"value":{"entity-type":"item","numeric-id":5055893,"id":"Q5055893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$37CCE0DF-BF25-4B1E-87F9-155A566AAF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c809ec82f632b6c385400f097fa447743bc7db2a","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$83E15FFF-C381-4D7C-A8BA-8DC2235B8393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$8CFA4A35-432E-446D-B4BD-232F04DDFC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$FC27CA40-5BF8-4C64-BC56-234AB2380189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$3A6FF16F-2949-4013-83FF-106FEB09C54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$494DF48A-67A8-4111-BD26-A34336FF8722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1f134c73b422f11b474e2bf47d3773c6d2eb9","datavalue":{"value":{"entity-type":"item","numeric-id":914407,"id":"Q914407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$AD4202AA-B15A-4E92-AF65-382FF59734D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a615d5d538f119a019c6c84160d61e40af07ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$0485CBF1-6579-4C03-96A0-58F01178E163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$0177D916-B98E-4AC5-B552-0ADE67C78626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$3C92BB93-A59A-482D-87EB-A69E3A960EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$D8D550B0-2FBF-4B1B-93B6-08212FC07A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$9CA9B09C-A7BB-4664-9339-B9CC2AB36E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$69C0A8C8-4771-4CCB-9695-7480D26572CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992a02680890a7bbdb6adf5c6cb1f2666e6be290","datavalue":{"value":{"entity-type":"item","numeric-id":6104375,"id":"Q6104375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$60A6E9EC-8ECD-4432-ACD6-2FDA2A0C4BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853589$DCB8AFA4-E8B6-4B47-B7B7-C35E47C80796","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bd8bc24c7aba2f2d3ff6ad8660ccc1bbd4cbc81","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(01)00330-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853589$E1D1A767-26CE-46C7-BDE6-FF59FB3BE404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bf3475b52bb932b5616d1fb179b8ea18ae0d8f8","datavalue":{"value":"W2021255060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853589$04E14BCF-DB11-4167-A856-037F440326A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8b584b0cfe1c54b3c766993597b000fdb2f573","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ae4f673b71bf9f5d2dc04d77fd0c1ef626654aa","datavalue":{"value":{"amount":"+0.8249788284301758","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":"Q1853589$57A44D69-FA2A-4379-B088-F530AC9DB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba5e7bba07dbe20d96b379bfee48165e48793bf","datavalue":{"value":{"entity-type":"item","numeric-id":2851070,"id":"Q2851070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8967d1e6c21cdf667fe06e97503f98f447f9ee","datavalue":{"value":{"amount":"+0.8109365701675415","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":"Q1853589$FBD66E0A-CF88-4627-AF22-341081EF5A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22fd9f3eb806979774ae9b6215d9f91e6ae78f87","datavalue":{"value":{"amount":"+0.8095769286155701","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":"Q1853589$C3791A4B-4940-47FA-9A9B-CDCFE970B38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3e4c078760d0ccc94e99e306e99b663efcf9a","datavalue":{"value":{"entity-type":"item","numeric-id":3449490,"id":"Q3449490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5243d9c6f5de09bbb1dc124dd0d878bfebbf54c1","datavalue":{"value":{"amount":"+0.8076926469802856","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":"Q1853589$42484BE2-2493-45B3-80B5-A98B0DFF5981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633645926eea79941dd20c11c68b30c997bc8b24","datavalue":{"value":{"amount":"+0.8069009780883789","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":"Q1853589$047F3B6D-E26F-4313-8F77-330494811B8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking of systems with many identical timed processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_of_systems_with_many_identical_timed_processes"}}}}}