{"entities":{"Q1276242":{"pageid":1286992,"ns":120,"title":"Item:Q1276242","lastrevid":70050492,"modified":"2026-04-13T12:06:29Z","type":"item","id":"Q1276242","labels":{"en":{"language":"en","value":"An algorithmic approach for checking closure properties of temporal logic specifications and \\(\\omega\\)-regular languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1243207"}},"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":"Q1276242$2CC03AF8-DE6B-4C62-940D-2FCA27BA30BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75af7e56098f313917d0631d3dd0764bf3b20c41","datavalue":{"value":{"text":"An algorithmic approach for checking closure properties of temporal logic specifications and \\(\\omega\\)-regular languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1276242$D149DD8A-F59A-4B26-88AD-A5362E724631","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e50c6dbd72c52a4d183ebb3a346a44437db30be","datavalue":{"value":"0915.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276242$BD31BE2B-7881-40EA-BB9D-74AF2E12720C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bb922cda9bc04931af58515b166fa32a7083d69","datavalue":{"value":"10.1016/S0304-3975(97)00219-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276242$88C5BA8C-7490-433D-9866-5C320DEE2EDD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$7323B87E-70F8-4FC4-BF36-6A200CE44A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebafce9516d4c14b715c69adea30ca40313f766f","datavalue":{"value":{"entity-type":"item","numeric-id":930284,"id":"Q930284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$DB8F6805-8386-430F-8750-F4AF590291FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$038569DC-E996-4605-8582-E93C4F47CF78","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":"Q1276242$D9E27522-8753-4AEA-8972-49F418991B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1276242$44FCC881-37E3-462D-A328-2AE987BF399E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276242$539653D4-FA1C-4939-B368-621FCD32C63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276242$5ED640E6-F3FB-491A-96DA-C79C284B51AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdbccde91814f932d39e67878123e82677ccce61","datavalue":{"value":"1243207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1276242$A6560172-DBEC-49FC-8BD7-F8815CA51FBE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb526006c296d655f0c4b4331f09f72b4d0aed3","datavalue":{"value":"concurrency theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276242$1F5BB21A-FDB7-4A41-B202-4506797A6E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276242$BBFB14E0-4632-4A6B-B990-A091BEA16C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1276242$266725A2-6C99-41BB-A8CD-34969C96688A","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":"Q1276242$996BC7EB-1B33-4986-B612-F6196F4D5B80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f809b829ad226aaf187e107ba4f2f8abde5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$98C23426-8A9E-4B25-A826-8F1BA45ADB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750760020b877311f6cdfd55b4d2a69ad2eed65","datavalue":{"value":{"entity-type":"item","numeric-id":1346721,"id":"Q1346721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$526ACE2E-6C3B-4B4D-B476-C1743199B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$9CD3F166-9104-4F63-829F-60CCA08F5C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521bc4c633dbd0f1fb3b7a6cd36f636108239b35","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$3592D53C-7C08-434A-AE2A-38C87C6E5A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e77ccf428ca1b394ee0eb78a76560bc9b01d66c","datavalue":{"value":{"entity-type":"item","numeric-id":911318,"id":"Q911318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$35799C7A-D6B9-4E5A-B5CA-41379F33DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$1F6F3363-8EEE-4D8C-9852-5079F86C2D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db5eb581c5550fe9f1aaa6318cbc6f909c56173","datavalue":{"value":{"entity-type":"item","numeric-id":3771629,"id":"Q3771629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$EEDA5C6D-6C25-42A6-B4F7-0E6055391881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc3adedd0d8d97f4129a193edebe2af0acc6e1a","datavalue":{"value":{"entity-type":"item","numeric-id":3752578,"id":"Q3752578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$31F70F22-03E3-4D4B-8FC5-ED58A3364B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea807394f38f032aa259ef6c1d6dc087e04882cf","datavalue":{"value":{"entity-type":"item","numeric-id":4954457,"id":"Q4954457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$B48B1D6B-36EE-46BC-A9DC-B82BDC011C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$A94A331E-F8C1-4507-AA0B-3A7FE38E10E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e89746956d217860016a766c2127e6c1ab5916e","datavalue":{"value":{"entity-type":"item","numeric-id":1322161,"id":"Q1322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$CA41E129-7907-48E5-8C83-7857E5651225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc276400fd8dca2faa88a602da06c7e7b3768c9","datavalue":{"value":{"entity-type":"item","numeric-id":6162107,"id":"Q6162107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$5ABDCFA9-4ED8-4F2C-B279-11A9FA6E6B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$8B2385DE-A7A4-472A-A6D2-CAFE95726B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$7B7DA0EF-D19A-4E1F-9598-7979709B3893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a091fa96805ee8cc47c29cf15da844810699fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$087FB6B1-869F-4E31-B13B-EF3D2519E633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$7C24A74D-FFAA-4551-B16D-FB914B574028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$3BE5F85D-1BE6-4F04-8A3B-2D4E75398A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$616BEAF6-2AE0-4DB3-92DD-C186B2224068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$186382EA-A391-4C59-BABC-491A67FF8D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1276242$4C055114-AEC2-4F26-9200-37DDACC9F425","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e40dce91f9c748babefecb2de571f4836bc62003","datavalue":{"value":{"entity-type":"item","numeric-id":6162107,"id":"Q6162107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988b497eaa3ac6b1125e03809fe1033ede0505ae","datavalue":{"value":{"amount":"+0.92886096","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":"Q1276242$D111716F-A0EB-49FE-A5AE-CB842D051BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f91f0f050020fcf06e7864df92406de49593ac44","datavalue":{"value":{"entity-type":"item","numeric-id":6159024,"id":"Q6159024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aebd7b146ca056f5fe39bf46250a2a1f9571961","datavalue":{"value":{"amount":"+0.887452","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":"Q1276242$7547AC6B-325F-4754-90E7-4447B3BE74E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2642ae9846da2f3027c68b6b9e7245c65ed26c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1199535,"id":"Q1199535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8002b29d46e7f0a94c424c6d1cfb541ec89d659a","datavalue":{"value":{"amount":"+0.8769033","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":"Q1276242$26B4ADBF-CC3B-4DE9-AC09-5E864BA06E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2779bf5b8c808de163adfa0dc48d10eeb2cbfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":3502632,"id":"Q3502632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca3a0a9f474bdf35756e399b8ab10db150fbfdc","datavalue":{"value":{"amount":"+0.86585516","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":"Q1276242$90E0A7EF-DC16-4E89-B91C-2209F05C744C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f345ce49dbfed073e38e9c112caf25b259d8dcef","datavalue":{"value":{"entity-type":"item","numeric-id":2106881,"id":"Q2106881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9f82ea2844da9cd47351b0e07dd11053c76f5a","datavalue":{"value":{"amount":"+0.86539793","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":"Q1276242$99AE4618-5B5D-45DA-92AC-71AE501F6728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff00db02fcd91b066a93fbd341e89f47da79997","datavalue":{"value":{"entity-type":"item","numeric-id":728264,"id":"Q728264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3358ef4ec9e31d3dec35f9578a520b0359202741","datavalue":{"value":{"amount":"+0.86305535","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":"Q1276242$8923838C-1B3A-4440-A4AB-E7B0BAB16381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f86d43d8603d6277018cc9ebb1f716fc6cae0f","datavalue":{"value":{"entity-type":"item","numeric-id":3090866,"id":"Q3090866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed07896ab2e0168f2b8231a12324a819e855a57","datavalue":{"value":{"amount":"+0.8601721","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":"Q1276242$71BBEB8E-5FFD-4A6E-A4DC-80F325EDB6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4b83a025725df70d00421fd10e6fc3cea39ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5234701,"id":"Q5234701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa81b16f5d7227c6d8fa58c6942ce9ca6c4bd2f3","datavalue":{"value":{"amount":"+0.85954076","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":"Q1276242$C53E1358-1456-43E5-BC1E-1B3E1A329A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a02a26b10b7a15d340c8330c520397781616f59","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c24c733d7581d4c851f9b6cdd210ee51524918","datavalue":{"value":{"amount":"+0.8592984","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":"Q1276242$F24347F2-F99C-4F2E-BC7B-2DDAEC963129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c24c733d7581d4c851f9b6cdd210ee51524918","datavalue":{"value":{"amount":"+0.8592984","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":"Q1276242$A55971DE-4BED-4E07-ACCA-9CF16C1AC23E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithmic approach for checking closure properties of temporal logic specifications and \\(\\omega\\)-regular languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithmic_approach_for_checking_closure_properties_of_temporal_logic_specifications_and_%5C(%5Comega%5C)-regular_languages"}}}}}