{"entities":{"Q2849447":{"pageid":2860167,"ns":120,"title":"Item:Q2849447","lastrevid":83863859,"modified":"2026-05-07T13:04:07Z","type":"item","id":"Q2849447","labels":{"en":{"language":"en","value":"Simulative model checking of steady state and time-unbounded temporal operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208969"}},"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":"Q2849447$2814B77C-E097-4F83-8ADF-8FAD419EF364","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"835ea9429c42a5589f6ca520411f9906f4d76f57","datavalue":{"value":{"text":"Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849447$CBF15660-7E76-4D9C-8D1D-212A3BA373DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ca0d8ca7ebb6a44f5cfeab742a297e7e8988e7f","datavalue":{"value":"1394.68236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$2C4ADD3A-D997-403E-9C46-7CD39F0EE32E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de6a89ce97d7090217e8daf84868f2317ee5e21f","datavalue":{"value":"10.1007/978-3-642-40465-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$19D69596-96E7-495F-90A0-A0ACCD85E280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36ff11535f3a11e9173f82b8aadc427401cda73a","datavalue":{"value":{"entity-type":"item","numeric-id":2849446,"id":"Q2849446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849447$89F378B1-7158-4A44-97E7-34C8BE12B207","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9419ccdfc8b7c4f04b1636e8a4cf8998a920ed67","datavalue":{"value":{"entity-type":"item","numeric-id":2849438,"id":"Q2849438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849447$74216BE5-D800-41CA-8B23-7ED631CDC5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849447$070E9992-E90F-4459-A586-A7EED1E45DE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$8BD374CF-0BFE-4C8B-88BB-F9AC014F5D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$0D9D240E-6728-4EE4-B1E9-9DDEF8A0C0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$C09384D6-E85C-4AE2-BBEA-C7C3345864FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93e98bb263111ca84aaba3ad9f90b3abccf8fd2a","datavalue":{"value":"6208969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$1808818D-BCB8-4BF8-AF25-FA24F01D5FE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7f668bf995cd0970f03267d06ef01a2a43b7f0","datavalue":{"value":"simulative model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849447$E1F542B4-9028-4551-8BF5-71EAB3CCF216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182ec1f62fcf3a5fe855e38c10946d8ce278f5b6","datavalue":{"value":"stochastic Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849447$EA7055FA-4BFC-4C3E-B4FE-FF7227D261DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3be721bb986f3598c7730d722110fb75cc6a286","datavalue":{"value":"steady state","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849447$B7F02CBE-E075-4877-965C-D4BAB45445E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1beb3103227045e9b8b00967f12b0ae3dbb07bfb","datavalue":{"value":"unbounded temporal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849447$9FA9BB75-89D1-45DF-A29C-A9D9C94245E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d14cd1ca883e6f8ea8ea3c024ea94839115f8c57","datavalue":{"value":"probabilistic linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2849447$FB93532C-C419-4FB8-942C-A55B745ED2F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"672114adb12f82b8be71c2f4b6ab541f146e57ec","datavalue":{"value":{"entity-type":"item","numeric-id":24807,"id":"Q24807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849447$71BD51B9-5300-4C24-97C8-18589C479173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5eddc44fe60ff556f07b5cde5b024f0f9e8e6987","datavalue":{"value":{"entity-type":"item","numeric-id":25244,"id":"Q25244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849447$6D6FFAAC-9FC3-404D-9514-71687B8B04FA","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":"Q2849447$C0E25831-7B79-403E-B41A-CF78E56BB106","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e80845260f48ca9aa2ba748dadd23574428fbb8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40465-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849447$875B7D1A-44F1-4CBD-BFE4-86234D8CE8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27931c5bd40e3c2b4b73b0d025dcb60d788dfbe0","datavalue":{"value":"W73007504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849447$0D0B4CC9-0589-43EA-BFBD-7B9FAD3E12A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf00b74c83b3f9a9ddb1cdd893492aa51a0e6ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3648695,"id":"Q3648695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ba6340a1716a11f4fd612bc22245399a493cc6","datavalue":{"value":{"amount":"+0.7836111187934875","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":"Q2849447$AFAD0EB4-723B-414D-844D-DBC96D7B454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc920c1ec773dd5c066514182446ab618c3ffcd6","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e082285e60faa6ad16e6fca80c3a7e2beed9bb31","datavalue":{"value":{"amount":"+0.7778132557868958","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":"Q2849447$1C4171F3-1229-4E65-896A-12D6613D159F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1fcd48c493965ab2e407530b2e2e203db0266b","datavalue":{"value":{"entity-type":"item","numeric-id":5703762,"id":"Q5703762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedbc7a43fe7d3427d9d9e49c958d096d797018b","datavalue":{"value":{"amount":"+0.7700626850128174","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":"Q2849447$4461BC39-4E3E-4A10-9979-A1BAF6C27261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08605333b3388718fb8982ab80321d7daa55bb21","datavalue":{"value":{"entity-type":"item","numeric-id":3084591,"id":"Q3084591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7469ae3d321850a634419aac0b09692a9e498813","datavalue":{"value":{"amount":"+0.7586255669593811","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":"Q2849447$12BFDCC5-13A3-443A-88D1-A2E6D599C720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d9405aa27ae5e7a65c5273a0c1ea6c9a64526a","datavalue":{"value":{"entity-type":"item","numeric-id":2509358,"id":"Q2509358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f77f4943f580c2ff102ab59dcd2de6206152e06d","datavalue":{"value":{"amount":"+0.7550612688064575","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":"Q2849447$C4CC13A1-6DF3-4929-B055-54EA4348C211","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulative model checking of steady state and time-unbounded temporal operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulative_model_checking_of_steady_state_and_time-unbounded_temporal_operators"}}}}}