{"entities":{"Q1161289":{"pageid":1172038,"ns":120,"title":"Item:Q1161289","lastrevid":42923170,"modified":"2025-07-16T01:50:03Z","type":"item","id":"Q1161289","labels":{"en":{"language":"en","value":"A unified approach for studying the properties of transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752232"}},"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":"Q1161289$6590F30D-F573-4562-AB84-6A632F1EF2B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac3a538447cc8dabfb37da387b7133c5b139e313","datavalue":{"value":{"text":"A unified approach for studying the properties of transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1161289$D31EB332-CCCB-4FE7-BE7E-2898D5B6F37E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"656fd636911a796c8361712e1f98cd53ba53ba82","datavalue":{"value":"0478.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$9ACA6746-0ECC-4C31-BFD3-E808F5038143","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc263df068133c9221a1ec12c5dd7359ce499959","datavalue":{"value":"10.1016/0304-3975(82)90067-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$5B387591-6A83-48AA-8B0E-EFFD4FD9929C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$B324689A-E583-4C0B-BFCC-D456A2FC2BF8","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":"Q1161289$D1A75FAC-EF9B-4832-93F7-D2F81C80F9B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1161289$8A2D302D-6731-46AA-8722-9347655E63BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$62E3F746-5AD8-4213-9A9A-B99D61BEFF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$8BE09864-CB98-4BA8-8D32-9E2586B37C52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce5743ad1548e500c1ddf1b29ddc86a13d73e553","datavalue":{"value":"3752232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$73D69098-4ED3-4BCB-AB31-7D915360ACD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161289$E412D72A-0AB6-4A80-944B-6498CB8A99F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161289$05345515-1BF1-4A87-ADFC-EF27384EB4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"991b12efda876de8c1c7aeb3fcb32dd8b551db75","datavalue":{"value":"fixed points of continuous predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161289$366923FC-B003-4D05-B317-A9346F7558AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c46a407e07eb057deb5e18e9d140704af8bc7f","datavalue":{"value":"systems verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161289$46B9BB90-BB47-4FE8-9812-E2B427C2A07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161289$426DE214-B537-4B2F-9E87-7943CD800D86","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":"Q1161289$CF0A47EA-32BC-474A-B0D8-98535D76CDCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c90f1d9234f95d9e84ca3378fb620617f91dd0a7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90067-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1161289$10A6171C-107F-4E0B-B78A-C10C711F3700","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d6b8bcf31b320f4a413076a365f821c7ea6dd12","datavalue":{"value":"W1971321632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$F9106782-2C99-4200-8995-EF2D5C03BCBA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b216055f8893c9cf1913430b902795b2e8b857f7","datavalue":{"value":"Q126438920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161289$45EC1799-6C1B-40DA-970E-2539D2590757","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a98d35b307a232a4c7a961285d22ec864173245","datavalue":{"value":{"entity-type":"item","numeric-id":4125720,"id":"Q4125720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$D2539D17-5C16-4AFA-9D03-2D044458B8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508bc917a7771d26e78b44ecb3237422dc102dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4066554,"id":"Q4066554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$4B234993-60BF-411F-86C4-3B47730B42BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f5ec35a87489328efbdd012ed15375a69a7975","datavalue":{"value":{"entity-type":"item","numeric-id":3922145,"id":"Q3922145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$44A129D7-D517-4D2F-AFD6-9F823074E385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8eb34c519834b5b923e52b9f7343a721bfe4a","datavalue":{"value":{"entity-type":"item","numeric-id":4061976,"id":"Q4061976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$BFC64E09-6AAD-4B16-9591-9638EB6201F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$18A4F60F-B7E3-4795-A416-FC14FE612A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$114A3432-EAB9-4DFF-A374-283363E4F25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e0a64ccdf55530356d55f9788b6dd900170517","datavalue":{"value":{"entity-type":"item","numeric-id":4151148,"id":"Q4151148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$D2CD1868-DE2B-4FEC-8075-A8817C368EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9ea95f1d4c61c84fe148b0079e6abc30d06101","datavalue":{"value":{"entity-type":"item","numeric-id":3877020,"id":"Q3877020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$D1DE90B0-3B7C-48B6-8B66-C06B62B7BEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef9f30a6b866eb6e09cb9c9cab015a391bab678","datavalue":{"value":{"entity-type":"item","numeric-id":3920631,"id":"Q3920631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$4E274A2C-FDB1-43CE-AE91-A27A9397B7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04423ef643adfc05648864517dad32b25804c149","datavalue":{"value":{"entity-type":"item","numeric-id":3870277,"id":"Q3870277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$74A47D02-3577-4995-A351-1002E911BD1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5284f7991c38fae99078136506785628d19da5a","datavalue":{"value":{"entity-type":"item","numeric-id":4158461,"id":"Q4158461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$5878093B-AD07-4E81-8C61-CB5501E43044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$127487D4-EE89-49A4-9F07-40F83C8DDE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7d74779841f59ebead3ed870a486ca33755a3aa","datavalue":{"value":{"entity-type":"item","numeric-id":1241274,"id":"Q1241274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$3DB5B68D-68DF-4B9B-A21F-4820C12D704A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f59544f9f3e9e25131d5d24d04c6d827b4446b4","datavalue":{"value":{"entity-type":"item","numeric-id":4187299,"id":"Q4187299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$01921B61-1752-4BF7-9237-A73B29771699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4672b026d99a8f6ea3a5edf58935ff86cbd1ad25","datavalue":{"value":{"entity-type":"item","numeric-id":1251066,"id":"Q1251066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$0A731E52-9B84-45D4-8D39-A43044869D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$46AFE93A-104D-4D8C-B09B-EDA451512106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a612b054dfc0b741afe4508b18c809d77dbbe7f3","datavalue":{"value":{"entity-type":"item","numeric-id":4061970,"id":"Q4061970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$804CB246-AC60-4618-B48F-8A995FECC0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be8c0966fcef61d518749b07930f255b555f362","datavalue":{"value":{"entity-type":"item","numeric-id":5624635,"id":"Q5624635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$B4AA0694-1267-4D72-9233-D699F63F64BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d5dd2ea6e934c488ff6606e63dba48446e71df","datavalue":{"value":{"entity-type":"item","numeric-id":4133144,"id":"Q4133144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$4574DBB1-CC66-4744-8459-502E6A41237E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5410069e8abd75acf0c4dc99bb1a84758ddd17bf","datavalue":{"value":{"entity-type":"item","numeric-id":4187287,"id":"Q4187287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$F67AD2A6-5ECA-4417-865E-366473791C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f293d0fef92619b42dc4811f7c0a2dcd5fe3a1","datavalue":{"value":{"entity-type":"item","numeric-id":4109269,"id":"Q4109269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$2613FEE5-BB24-4654-939C-993D7AA1F7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd14ecb8d9b01fcf432d7dcc1ccb01a23ee02c8","datavalue":{"value":{"entity-type":"item","numeric-id":1241051,"id":"Q1241051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$2F2FEF90-E416-41D8-8F7A-1E72238729E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6943abc1f4de67c9908876a245a85b337593aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":3902493,"id":"Q3902493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$5C1B422E-62BE-4A46-A26C-EFB0D30EABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161289$05A6E734-D8E8-4C18-8FC6-26AC0652E067","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1161289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1161289"}}}}}