{"entities":{"Q2210867":{"pageid":2221610,"ns":120,"title":"Item:Q2210867","lastrevid":53866511,"modified":"2026-01-25T20:38:04Z","type":"item","id":"Q2210867","labels":{"en":{"language":"en","value":"Specifying reversibility with \\(\\mathrm{TLA}^+\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7271807"}},"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":"Q2210867$2C261381-4097-42CB-9E2B-8E16F4BD63C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"538946a27d47b339fb1b55435958b7ca4781ef88","datavalue":{"value":{"text":"Specifying reversibility with \\(\\mathrm{TLA}^+\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2210867$7D3258DA-DF86-4098-ADEC-17035DEEA033","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71cbf1a22a8fa3a121d2ab90852bb53417ce1510","datavalue":{"value":"1462.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$6E4134C2-959D-4AC3-9D17-25A254CCAA87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e9007f964328b3992e509cadad60b8450a641b","datavalue":{"value":{"entity-type":"item","numeric-id":2210866,"id":"Q2210866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$4C142284-14A6-4B65-A3FC-1ACAD7B11927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$095B6DFF-72B9-477E-9C2A-0191C28C23C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b6275d7d5b9070917d49297441fe3ab07d4c10","datavalue":{"value":{"time":"+2020-11-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":"Q2210867$3766E297-39A0-4B2C-98FD-AFBAC1ED945B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$383C63F0-EE49-4B0E-9C68-129D1F454229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$A5DA3ECC-85EA-464E-86ED-BC62AFB90AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$82914B5C-ACB6-45CF-AE7C-B6D5C704F4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$2C9332CE-0996-47B9-ABB9-DDC38A1E3AB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c02ccaa44c928dcc2a16fe47314f8a0cd47cdb02","datavalue":{"value":"7271807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$6F7A5D83-94ED-4EFD-90C4-34B8908E1F24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210867$76E194E7-90E9-49F0-AF90-A0DE7DF04B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210867$8084EBC5-3FEB-4D58-9C88-D1E47C1AD06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210867$A9E468D0-6992-4084-9716-7D12E6FEDBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210867$8D1B53DE-BF3B-4A2E-9ADC-7DFDE0609F8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67720db460794d76d6e59ab2d221c3e383431bf5","datavalue":{"value":{"entity-type":"item","numeric-id":16618,"id":"Q16618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$213C7E91-963C-4B36-9403-594EE03401D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8e5d5bcc5e71e7649f82c0434334f298b02dfc0","datavalue":{"value":{"entity-type":"item","numeric-id":22650,"id":"Q22650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$B75FD0E4-E8D1-4C4D-9868-66B01F514EFA","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":"Q2210867$85FAB24D-C86E-46AD-BB0B-496602BEE510","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaf4188b7484d333b6758260b142fe7ad40acef8","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2020.100582","type":"string"},"datatype":"url"},"type":"statement","id":"Q2210867$4EEDE900-E995-4884-A3AC-E43ACE21341E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f7ac58a602b870b64ad8921213a8f3d715d6b35","datavalue":{"value":"W3042946137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$C566EE8B-D936-442C-836B-89548262A73F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$93D54B28-C874-4EAC-8E31-0251DC27762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$80D53D2D-52DE-4C71-9ED8-157437C3BC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0239a5cb6fe7b2df7f0c9a2c61f9b1afb238ce62","datavalue":{"value":{"entity-type":"item","numeric-id":3584950,"id":"Q3584950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$D54BC3C3-B901-419C-A0A5-3A3A1BD9E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$30D2CA3F-00BE-4F48-AA33-5190C559A503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17081fe095c590c589b563d405453c57531fa930","datavalue":{"value":{"entity-type":"item","numeric-id":4967172,"id":"Q4967172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$249C7633-6BA3-413D-83DB-8D6CF9E8EBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$F3997FC5-A79B-4B53-B533-9AFCA90A59E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7357af8431b6c0c5a53a1a3750aac1aebea795a3","datavalue":{"value":{"entity-type":"item","numeric-id":1124343,"id":"Q1124343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$4CBD0090-A2F5-42E6-A9CD-36D8C9C17009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cbcb19086ff4611752d8034078516f9ad64772","datavalue":{"value":{"entity-type":"item","numeric-id":1608324,"id":"Q1608324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$348CDBE0-5D2A-46BD-9B7D-D0AAC45B2658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a266c926fa74ba6aaa527c11211b02e71320630","datavalue":{"value":{"entity-type":"item","numeric-id":4413220,"id":"Q4413220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$A17C947B-5598-4B7D-BD0B-355B0ADA1897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4c8ba449b23aff2db6449e0cf6745b29f5f10c","datavalue":{"value":{"entity-type":"item","numeric-id":5216332,"id":"Q5216332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$D1A6D22E-C78E-450F-859D-FA10F85D7EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e313b07724b9d055d21da9a546d18e1ddd7e70","datavalue":{"value":{"entity-type":"item","numeric-id":3527017,"id":"Q3527017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$32A98B71-E4F8-412C-99A1-A24DA4B1C8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434264a0a69e6edfaac74758bdb1a1a6eaaeed73","datavalue":{"value":{"entity-type":"item","numeric-id":4736868,"id":"Q4736868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$294903DD-9075-4CEB-B186-3C44C130D398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$FA4E4133-5843-4593-B7EC-E38003A91673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$C7C3A31A-8644-4EC4-8F6B-D8B198895B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$7FEB07E6-C075-40B1-99E7-77F8D588CFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$E4238C33-F96E-42FA-AA85-9A17E73E2567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a5c450aafaf1db5f41ea1e3146051dc1e858dd","datavalue":{"value":{"entity-type":"item","numeric-id":3393398,"id":"Q3393398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$8744CFEB-A228-41A5-B776-FA4C34F73E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b317c95a754245691a7e664efa78f0de6e4819","datavalue":{"value":{"entity-type":"item","numeric-id":1749172,"id":"Q1749172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$BD39AAD5-EA0B-408D-ABBA-FA88FAA4CAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7691bf0a71303f680084f77cf74cbd1ab737e482","datavalue":{"value":{"entity-type":"item","numeric-id":3680254,"id":"Q3680254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$EDB4F40A-D6F4-4B5D-8976-6C7FBE7E98A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9279fde6cedd26e18c6ba55d77f0b20c96098f","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210867$E50536D1-6B49-4834-83F0-E76BE6574285","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cfd20088091e939e7f930e64fe46f361dc853a3","datavalue":{"value":"10.1016/J.JLAMP.2020.100582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210867$AADCB9FB-FB90-4C8C-9F35-111C1AF18EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d47caa41a11da514de99ed10b7d55ea0610de8","datavalue":{"value":{"entity-type":"item","numeric-id":4934623,"id":"Q4934623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73261bc78f4328c81448586c5109bd59c145efe","datavalue":{"value":{"amount":"+0.7624009251594543","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":"Q2210867$3FB5E474-1A2D-466F-8FCB-71666F8405CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a3906667209c7ca4dae20b7f24bcaba0c969ad","datavalue":{"value":{"entity-type":"item","numeric-id":5207890,"id":"Q5207890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73261bc78f4328c81448586c5109bd59c145efe","datavalue":{"value":{"amount":"+0.7624009251594543","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":"Q2210867$87C3B026-E380-4DD7-8062-44248A02BFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a884498feb8d30ddc0635f3ade16b2f481a13d","datavalue":{"value":{"entity-type":"item","numeric-id":5216332,"id":"Q5216332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"367ac48759c2ef64480ca5e00f086446286056a5","datavalue":{"value":{"amount":"+0.7593104839324951","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":"Q2210867$8667C9BD-D763-451F-B24E-AAA82A8FD81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f60bc44f37acd2506c83f84544d502d4abc22e","datavalue":{"value":{"entity-type":"item","numeric-id":5326296,"id":"Q5326296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebf0b79ae49a84c318882bce1d992d56c907433","datavalue":{"value":{"amount":"+0.7262037396430969","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":"Q2210867$67BBA910-B5E1-4BCC-B516-BEBBED07E637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d24d7244919a01c4197e77d4db61bb0be37188","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6773c41c13f9118b06855c710c91f21797df914f","datavalue":{"value":{"amount":"+0.7258792519569397","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":"Q2210867$2CE07AD8-7CD2-4547-A8D2-8943725196D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2210867","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2210867"}}}}}