{"entities":{"Q5194957":{"pageid":7224529,"ns":120,"title":"Item:Q5194957","lastrevid":41646409,"modified":"2025-05-06T17:39:36Z","type":"item","id":"Q5194957","labels":{"en":{"language":"en","value":"Fairness for Infinite-State Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105955"}},"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":"Q5194957$84E5EDB8-FDCB-477E-B0EE-A31F5BE64C19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132797559d418ea963a8b2abe3a9a33b72ef913e","datavalue":{"value":{"text":"Fairness for Infinite-State Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5194957$406B4CD8-7738-40C6-999A-C7C8D4E4591E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1586f24f16ce07eccd70a9db6415358dea23c1a","datavalue":{"value":"1420.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194957$AD395A09-B8B6-47C4-8C0E-697C7A613717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72b92a93ae9a612f8fff0b64ded5e02e814616f1","datavalue":{"value":"10.1007/978-3-662-46681-0_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194957$A1380C4B-95DE-4001-BD3B-EFB3505CCE86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afa51276dc7c745a3bd764db344fbb2e1cd8df8f","datavalue":{"value":{"entity-type":"item","numeric-id":470002,"id":"Q470002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194957$949A6B2E-0DBA-4B07-95A0-DA39B77CD415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daeac091f0eaa7da5f0340038d070bf523e8c109","datavalue":{"value":{"entity-type":"item","numeric-id":1702906,"id":"Q1702906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194957$50187B75-620E-49F4-8681-64ECFDC7B3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194957$96AE6320-F8EF-4F98-9568-22CFC607EA49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5194957$E3C4024A-8857-49B0-91A2-189F6E52DE52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"860c75d427a5be90563ac8b1b9f2dee75426aaaa","datavalue":{"value":{"time":"+2019-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":"Q5194957$7B830F18-2588-4668-B333-4DB5967D2647","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194957$21E031D3-D47C-4B70-B21A-B2175FE9DC87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78886e684ff6278f9acc254395846407ac1a6796","datavalue":{"value":"7105955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194957$177326D6-DAB0-4414-B2B1-55050C9DBCC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194957$F8840931-B341-486B-862A-83E6013DD268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194957$ABC099D0-AE12-4AB0-AB62-33B3E4E0C799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194957$242DBF46-F086-4209-96A8-148AEDE4D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f762ea1dde992c28ede3a6ee476e5ebbcf427083","datavalue":{"value":"atomic proposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194957$293F2D79-6BAC-44F5-8AF9-1A0E3842C3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5194957$4A945DC0-A757-449F-924A-5FB0B865BCEE","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":"Q5194957$B9DC30EA-B3B0-4A68-99FA-8DC716BFFA7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"207758e2cc841fb30d83bb5edc66e07256dd0302","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46681-0_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5194957$943ADC72-5B3D-40FF-902B-28590D2BD719","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f91b2797b1b346c470477a689f2204acc5559fe","datavalue":{"value":"W1511600686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5194957$7B701F4B-3886-4B83-8550-400D10CFEE9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096c5e6483bbcc7569ca8715f97d01b55250744d","datavalue":{"value":{"entity-type":"item","numeric-id":3449624,"id":"Q3449624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd799e33c3441bde0ad67674b24332e63f9b4e39","datavalue":{"value":{"amount":"+0.9090517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$CC11F6A3-1C6F-4600-9E85-8AD9BEF1E986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8114ff4449b0b75ef1ebf44a31eeb509bca4cfe1","datavalue":{"value":{"entity-type":"item","numeric-id":2234061,"id":"Q2234061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d34b1400c86f521d622031be3bcbd2998621d0","datavalue":{"value":{"amount":"+0.88585377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$02605A1E-F4B7-4D49-B3BA-5FB68F6AF4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3d894a5912174358524a48fe53da521363e271","datavalue":{"value":{"entity-type":"item","numeric-id":2851915,"id":"Q2851915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf69c5da37a66ea01a347e42d3e9dcbb9150c00","datavalue":{"value":{"amount":"+0.8842777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$082BE2CF-FABC-425C-AB07-E0DE7CD807F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04aaabe935132e6223e4c5db8969a03ddaf8843c","datavalue":{"value":{"entity-type":"item","numeric-id":2502272,"id":"Q2502272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2fb02aff2f23149d293e485e037fa0d121dd9e9","datavalue":{"value":{"amount":"+0.87726504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$08E8141B-3B33-40BB-B83E-03B5D7955C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a56b2271abc81d75f6697c6d34b98b580f40b4","datavalue":{"value":{"entity-type":"item","numeric-id":2381541,"id":"Q2381541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78b644e6e8cdb73c61714110061e0c015ce9484","datavalue":{"value":{"amount":"+0.8728838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$6DB8A675-61EE-4624-B508-73F703510D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee708d116ccbf8dd9112770ad0c7dbae643b8ab","datavalue":{"value":{"entity-type":"item","numeric-id":4432746,"id":"Q4432746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d203951ffb44b6f270689e8ee13ea3138ff53262","datavalue":{"value":{"amount":"+0.8708168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$0B70862A-E679-49BD-8226-8F9DB62788B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"162f4b44693542a58c5ed0315ab9b8b2b3e687c3","datavalue":{"value":{"entity-type":"item","numeric-id":5703800,"id":"Q5703800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bcb317fb1ee6a5c316b1d107d1b90e7765d0d0","datavalue":{"value":{"amount":"+0.86896574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$42A4E65E-8D14-4967-B04E-D639BCF2859A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb303cc90fcfeb308c89420faeb9d0cea01c7be","datavalue":{"value":{"entity-type":"item","numeric-id":3408189,"id":"Q3408189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50b23ac1688cdd37e951f22154e1833dbec7604","datavalue":{"value":{"amount":"+0.86010814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$D679144E-7AF3-47E2-B8B4-8F72871297EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96afd576058b65aa7927fccab4a9227a917d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5395684,"id":"Q5395684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8e2e560a70194e69cde093c67bc0b376ebac85","datavalue":{"value":{"amount":"+0.8564164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5194957$E70BE0E7-D8AE-4E46-889B-D0DB8825C4F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5194957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5194957"}}}}}