{"entities":{"Q1702910":{"pageid":1713651,"ns":120,"title":"Item:Q1702910","lastrevid":72117006,"modified":"2026-04-14T02:45:18Z","type":"item","id":"Q1702910","labels":{"en":{"language":"en","value":"Fairness modulo theory: a new approach to LTL software model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845651"}},"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":"Q1702910$F722317E-D814-4549-B6D2-99E6A93CAFA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2cb15f6e613e28a4ffee2fca3d8db6d61e27b0cf","datavalue":{"value":{"text":"Fairness modulo theory: a new approach to LTL software model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702910$A1E3AC5C-735F-47B8-8709-567A2ABAB443","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc01c25aaeea64a42e04e7ee51af9777bbb05617","datavalue":{"value":"1381.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$02EF5731-B849-428E-9ADB-59548A48244C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3fa1e8247d2f93e8619a4e35919f793c3733c9d","datavalue":{"value":"10.1007/978-3-319-21690-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$AB0B2011-1B39-4E55-8E9A-AB4A96FF28D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e156e8fa4d3f1d15652d6c661fd72d146102a7","datavalue":{"value":{"entity-type":"item","numeric-id":1629965,"id":"Q1629965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$325ABEE4-524C-489C-ADAE-6E6F35051529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6692089e7e1e9109051611e18cfa47c46af10959","datavalue":{"value":{"entity-type":"item","numeric-id":1629966,"id":"Q1629966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$B182F877-A450-4E69-A024-51843C467745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d450479517bbed8807fdfe523329a43a4c71d02","datavalue":{"value":{"entity-type":"item","numeric-id":1702909,"id":"Q1702909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$9136011D-C1AD-4DE2-B4F0-C98C8D5E5621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$A86C69CE-F835-4050-B2E6-236406C72DC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702910$BBDEB294-A6A2-412B-9565-2FEEA3468FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$AE75273B-F8E0-4C91-A5DF-93A0AEC329BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$CA4FF713-B3F4-48F4-8AE3-3A1E12FBDCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$159C57E8-414E-4AB1-8D4B-F1EC0A1FE811","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f40e09ca65b3ea2caa215fd8a5efa95c87f7fb76","datavalue":{"value":"6845651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$2DFCE846-8AEA-4D63-9112-A84AD842F9FE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$BC48014D-58F1-43D5-82C0-FCE3AC51B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ad725596f99b531ed67c340f4e5db7fc66fe2c1","datavalue":{"value":{"entity-type":"item","numeric-id":19812,"id":"Q19812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$6A0CD661-6FDC-48E5-B815-EAFDEA0389B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$A0A0C368-C72D-445B-8E1D-96FC498D5F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c11dd4f5e8562a7579fa5f894672b041bb21507","datavalue":{"value":{"entity-type":"item","numeric-id":16315,"id":"Q16315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$BE469D21-C78C-4C56-BE9F-4B4D0C34E303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$944F167B-434E-416F-BB93-D012A83EB499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb7c60941cb0cad00618f6e2a6a8f99ea5a13a34","datavalue":{"value":{"entity-type":"item","numeric-id":35082,"id":"Q35082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$BC0E7742-21D6-4457-85F5-EE2676B69A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1655b290b91a673f0538ce14f6694f64d961977","datavalue":{"value":{"entity-type":"item","numeric-id":19440,"id":"Q19440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$439A41AC-4A71-4E32-A7A2-DDDC44BDA5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$A81FBE5E-44DD-495D-B1EF-8769C4D4E22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$1E44F37B-6CE3-40AE-A9CE-3C4321DA453B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"352070f92a42ab6c0ae16e5d77d8a717bc392ccc","datavalue":{"value":{"entity-type":"item","numeric-id":19847,"id":"Q19847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$9097073F-C3BD-4829-9B30-E6862AF8854C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dee6d695234cdfbc4a272f03f51845f9fcd03368","datavalue":{"value":{"entity-type":"item","numeric-id":16399,"id":"Q16399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$CA7D54CC-74BB-4F4D-8E5A-4FD8A069F566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83ebeaca9d3c6e93eba013eb012f52f5dff4da49","datavalue":{"value":{"entity-type":"item","numeric-id":35080,"id":"Q35080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$FD1D7ACF-892F-44E6-9D86-8A74A9DC62F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c47fe2df1f1953bad823a45d5770cd3dadc8780","datavalue":{"value":{"entity-type":"item","numeric-id":19438,"id":"Q19438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$C4C68D9E-2423-4B26-ACB3-CC4679671B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$7AAC7980-70BD-46A5-A060-C2144AB971C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"552fb94da027a8fb9ad249dd880ff1062aea71b2","datavalue":{"value":{"entity-type":"item","numeric-id":21456,"id":"Q21456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$79400EF8-41B5-494F-A00F-AEB4E4C8FE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"847a8403ca3a1c2589aa9cf8ce374af2273cecc3","datavalue":{"value":{"entity-type":"item","numeric-id":35081,"id":"Q35081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$3486D56C-8450-4B29-A4CC-D2814D3EC2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c25e2917fa8933db2dcdfdde3120016ec3860077","datavalue":{"value":{"entity-type":"item","numeric-id":35079,"id":"Q35079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702910$FA80E436-FBF6-4A91-B7DB-2B6320DA09A0","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":"Q1702910$18EA9721-7528-4180-AD4B-222853E4F180","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47a3af0af413ea7d4b44711a62ec012af7d0b571","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21690-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702910$3BC300BE-A339-4ACD-A713-4CFBD0B6A9AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dfbbcec88c6d663c8fe4fbe5b0b43f1178f7c1d","datavalue":{"value":"W1209505024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702910$7F678AB4-5E03-4B3C-8129-5D59B733180E","rank":"normal"}],"P1643":[{"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":"8c942f3f423fe74ea7f90b73448762e65209c410","datavalue":{"value":{"amount":"+0.7661736011505127","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":"Q1702910$7EAB8C55-BE64-489C-9EFC-0E0D73C486BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75d9f2f8fc6623b21e43ae0531b291224834501","datavalue":{"value":{"entity-type":"item","numeric-id":2505624,"id":"Q2505624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b6c3852808d9f2eafe74a6c62643148a94b83e","datavalue":{"value":{"amount":"+0.7502232193946838","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":"Q1702910$FC043D4D-CEDA-4C74-B606-C3BF7D1B06BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383aee9a50302aa883ab2b30b18bea8e0a22854","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e0dc6d9864d3c4d7e56bf70cdb8398509b4d7","datavalue":{"value":{"amount":"+0.7477172613143921","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":"Q1702910$4F03A459-CC76-435F-8BEF-A60C415929B0","rank":"normal"},{"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":"d525a9568291a18b082ac55dbb12d68f52170cdc","datavalue":{"value":{"amount":"+0.7467173337936401","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":"Q1702910$07545FE3-FDD2-41E2-93A1-8F034B38E015","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":"12b05aa5fec3f376ee6f0ce10bfc302e04ae8972","datavalue":{"value":{"amount":"+0.7454123497009277","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":"Q1702910$0FC388AE-2A74-492C-9A56-03374DA2A4BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fairness modulo theory: a new approach to LTL software model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fairness_modulo_theory:_a_new_approach_to_LTL_software_model_checking"}}}}}