{"entities":{"Q2505624":{"pageid":2516367,"ns":120,"title":"Item:Q2505624","lastrevid":49926781,"modified":"2026-01-12T02:41:40Z","type":"item","id":"Q2505624","labels":{"en":{"language":"en","value":"Model checking with strong fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5057727"}},"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":"Q2505624$4C46AFA7-7CC0-4DDF-8F52-983C3622232F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc9d8c2388e7c2f7fa67b64d5b6f224e2a246fb8","datavalue":{"value":{"text":"Model checking with strong fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505624$4D78C4B1-5963-4032-BF3A-F4457EC007D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de632f6cb9e5dad0a6222c02ec25197575b2293a","datavalue":{"value":"1100.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505624$FBB38E03-CF70-4077-8A45-0DCE8FF9498F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$04785604-8432-4F1A-9449-A39E663F107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900596045ae4f6c7a80876384988e9e3f44b03d6","datavalue":{"value":{"entity-type":"item","numeric-id":2505622,"id":"Q2505622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$A3A0600B-E7D0-401D-9579-7457EF3F3EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca11f88c5ce64a960c5ba3909e9a54126187643f","datavalue":{"value":{"entity-type":"item","numeric-id":2505623,"id":"Q2505623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$5ACD7696-635F-4D08-9223-6C58003AD41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5c32502a6d95c8a51d14316c1feffb3f43bbce3","datavalue":{"value":{"entity-type":"item","numeric-id":208769,"id":"Q208769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$E5FCB1B0-8429-492F-BD8D-9600BA43DDCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$091C7892-E3BD-499C-AF5C-00F3D329E6BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2505624$4E81113B-9702-4876-97DE-A4AD523689D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505624$30B689CB-BB07-4FB3-B651-4DA33B15D595","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e666bd03281bec1f4339e1bc21a2acebe12af64e","datavalue":{"value":"5057727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505624$9DA39C95-D3C9-482C-8FDE-30DE17366C1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$400C477B-E7DD-4BF0-9E7E-926676854D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$22B4F5FF-3411-4497-B7FE-8FDDB29AFC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$389F6F80-39CA-4564-81EB-DBF382E9C665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$FAEF0919-79FE-4C28-8DAD-C6049DE32E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$8AC28CE7-9A84-4D60-BEFF-2E35A873EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae98cdfd52379e950f1ed188cce091d7566bf48a","datavalue":{"value":"fair discrete systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$F3B8E1F8-C289-4C0E-9D50-E6EDDB865A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f25c95b93e8dc090806b44a7ba43ef7f180c1d63","datavalue":{"value":"temporal testers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505624$D5C5E7B5-5C78-48D5-A646-0D16B5276890","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":"Q2505624$DB3783A6-C62A-4F64-8A54-B2D1E8A18854","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":"Q2505624$BD0800A4-E84E-42A3-B20E-7CE57167268C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c21f5ca78e9b78a2b2eedc3c4bf20a3526763736","datavalue":{"value":"https://doi.org/10.1007/s10703-006-4342-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505624$C0DB247D-34A0-442C-8801-EC4C76C38065","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7206f0515d5e222cb4cf96bf313d25c3191eabbc","datavalue":{"value":"W2020306722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505624$E13C97FA-8ADD-4D0E-994B-9B0FCE626388","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$6BBC6D5C-CF2C-4E8E-8CFC-53E761F96C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$E1EFB6D9-E0D9-4824-8BB2-29138E585D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25d9abcb7a573d4b1aa6994801b95dbbce1649ae","datavalue":{"value":{"entity-type":"item","numeric-id":5943260,"id":"Q5943260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$3C584951-A653-48BF-ADAA-711859D40C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$95BABA6A-4EE5-4D7C-B208-C12DB2C6A94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$524FBE32-14C8-46D0-81E2-7892D55C93B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$F977DBE6-02F1-4CA5-A54A-3836CB704F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$5AA5FEAB-4758-475A-946B-637310A280B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$4B190DAF-54C0-4206-805C-4103B87A465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$91061862-638D-48C4-AA5A-5EE8DF985FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff15a003decaf3fb97cc8f3b2a4669e9d9544304","datavalue":{"value":{"entity-type":"item","numeric-id":4873991,"id":"Q4873991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$D63DB84F-CF9F-48C9-8F10-547F36CF0467","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":"Q2505624$6ADC2505-3E77-4F16-BE0E-326E94EE60E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2cbd406133dd80bf3f5d166c994f8dbc0f6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1124314,"id":"Q1124314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505624$8FFE186D-4A5B-42E1-83E5-CE9FE7F30ECE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1b01e6a88cb7bc95ecd473d1f5428f97f20836c","datavalue":{"value":"10.1007/S10703-006-4342-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505624$5B7C4794-6410-490B-9D98-D110B35DF9AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7125fe52ce73741ab1ae06610aa9d74b8be9378a","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577a187dd0780b08be8e7335f985835982e6ed7b","datavalue":{"value":{"amount":"+0.8099135160446167","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":"Q2505624$E61451FB-56B0-46D2-9DCE-17FA32060F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20ed0159b89b544d66fd0ec1aa584e5be26e132","datavalue":{"value":{"entity-type":"item","numeric-id":4507820,"id":"Q4507820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d6dc096032790c323767bfc9ef03a8a42b5f3bf","datavalue":{"value":{"amount":"+0.7999273538589478","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":"Q2505624$3CCA8FA9-A511-4838-9D56-E758DB6C0A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9208ab436f2eebf1ec6e8ab1a87a3ed9971909a4","datavalue":{"value":{"entity-type":"item","numeric-id":5458863,"id":"Q5458863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee28be80d9686573dc3b528af0305fce485e2519","datavalue":{"value":{"amount":"+0.7936180233955383","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":"Q2505624$4BD40016-A606-4917-8344-1C89D0DBCCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464e9486caa52eccd8606818b6b678201996ae73","datavalue":{"value":{"entity-type":"item","numeric-id":4828478,"id":"Q4828478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b850cf7036ecb6484208e5e7d0094a244dff062b","datavalue":{"value":{"amount":"+0.7913662791252136","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":"Q2505624$54F3DA06-9BB7-4010-96CF-BC61F6E647F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd75637ebf242add90f6e545aa2e64ce197b2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3164834,"id":"Q3164834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be8e41c2715d609ad403f96801a97ed80cdc28e","datavalue":{"value":{"amount":"+0.789330005645752","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":"Q2505624$A78F8C72-EF11-47C9-B9EC-6367EC3E2DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2505624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2505624"}}}}}