{"entities":{"Q1318685":{"pageid":1329435,"ns":120,"title":"Item:Q1318685","lastrevid":70129785,"modified":"2026-04-13T12:38:12Z","type":"item","id":"Q1318685","labels":{"en":{"language":"en","value":"An extension of Kleene's and Ochma\u0144ski's theorems to infinite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540843"}},"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":"Q1318685$BFD10C82-2DA8-4574-86DC-627BFFFEB1DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ad924754122ea6daff96adc98c3f82fdcb38587","datavalue":{"value":{"text":"An extension of Kleene's and Ochma\u0144ski's theorems to infinite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318685$87B85002-B8CA-4661-8C58-44985DAB8E3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ea65b4cc4ed2ec3eb53f4d262911340cf1ee0ca","datavalue":{"value":"0795.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$6E74F94E-B10D-49E3-9DB2-C6B2C2740AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45df2eb79f1063a3e92d010881e8590ceab5e76c","datavalue":{"value":"10.1016/0304-3975(94)90254-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$F5305207-08D1-4394-8777-38647EB2F523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$2D347BCC-50A0-42A0-ABBC-6B07A2A68D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd1cc1135ed4a70262dc21a57b9ede8c99aa08fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201864,"id":"Q1201864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$14A539AD-4221-412B-8D8E-4DC59F9D1841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"caea39f27cfa5ffad171f45a60fdb875b8030da3","datavalue":{"value":{"entity-type":"item","numeric-id":259587,"id":"Q259587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$F549B6B2-4274-4651-AF98-74623217EC00","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":"Q1318685$A674CB46-18B9-4E99-92F2-08BE8C08139B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318685$BABA3401-7BBB-44E0-8CCE-49BE7C50E99B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$948EA1F2-E32B-4FC2-806A-73CFE7E2A181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$5EBCB679-B95A-458D-91B4-3644F09BAD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$A2EB6F7C-FCA4-4E5A-8886-0464A26B86C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$80EF6F97-91F9-416C-AC94-3E1919192428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2d55aaea1f2b3ef66dffbc18d76b0e45425bc1","datavalue":{"value":"540843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$FA8EAB02-227E-4982-BBC4-E68022844A28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d451347484da054a326329ab13db228575028f","datavalue":{"value":"finite behaviour of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$21FD17E2-350C-49BA-90A6-F4A91B7DD946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e54f0fcca86d22578fde7c7afa55151c5a5352","datavalue":{"value":"infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$1A9A2315-A0B1-40D7-AC01-0C5D504B29AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de27b653a78cfad332da30253232fcf2e6868767","datavalue":{"value":"infinite behaviour of nonterminating concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$D44D7D45-88A9-4694-B35F-3AB147194187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8cf0d45d22f66178a8a00207dd725fbdfda2be","datavalue":{"value":"Sch\u00fctzenberger product of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$C57C225E-3460-4CC7-95B9-5BD4FA1F17B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$1EA18BBC-21A6-450A-AE62-7274B9EDFC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef9c944e9f2d3feaca8e4c45a49ef508d3806bb","datavalue":{"value":"recognizable trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$F198F7B5-4C6E-446E-90C9-A1083341FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50978fbea98cc5d27185bc081601a56cde05ffd6","datavalue":{"value":"normal-form representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$C15EB33F-517E-4CEB-A50B-164434D76054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f37052633c89ecba8d9963713e4288569435460","datavalue":{"value":"rational sets of infinite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318685$CB4E0FB5-51AC-4A8A-8C6F-523BE4FCADF3","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":"Q1318685$AE20F63F-1763-430B-9BDB-B098ED8E150A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7308916296e35c3d1cd0c1158cff2211a4e7b986","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90254-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318685$32D7CFCE-CA63-4EE8-9743-BB6034B6C34E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c5e15eaea72286303ba71d08550440c5770ff54","datavalue":{"value":"W2017031131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318685$8ACE7A9F-050E-4CD7-9188-2CD96156E02A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3f3d4284f29707c15dbffe01b4356eafdc3d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1107296,"id":"Q1107296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$0ACEDCEB-0249-43AF-BB39-4EFA857AB4F8","rank":"normal"},{"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":"Q1318685$2A390866-916E-41B5-80DD-A911B3921E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$927DE8C4-AA10-4E68-BAAD-28BE0FF4C873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$1413EABD-AF1F-41C1-A28E-FAE02B45B639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$8073D57B-3B67-41E5-A1BF-0F5E0D7C44B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88281eb7099eaed3d92cf5fa2bdd7db821ed6765","datavalue":{"value":{"entity-type":"item","numeric-id":1094144,"id":"Q1094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$3FDDEC8C-1BD3-4D2A-B37B-F3A5F4B92380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cad72f183563a822760617a5ef6445d62af8f5b","datavalue":{"value":{"entity-type":"item","numeric-id":690237,"id":"Q690237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$721F0DB8-C583-43BD-91AF-14B05307B360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b31a52389be07054ca875395c649c7b29fc713","datavalue":{"value":{"entity-type":"item","numeric-id":3736919,"id":"Q3736919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$2F30C132-400C-4A6A-AD4E-7191055D58E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3224b3ee4e2065842acb7ecef1d84c9102fafc","datavalue":{"value":{"entity-type":"item","numeric-id":1188891,"id":"Q1188891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$38838955-F3E8-4690-95F6-A6DFB55CA64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf863f54a7b5b61ab2956c2c67d3998a92fbdef","datavalue":{"value":{"entity-type":"item","numeric-id":4035661,"id":"Q4035661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$42604746-A248-427C-9A52-16249F203E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e2e813e2f14365fd633e49ac4cc3281a6ad4d3","datavalue":{"value":{"entity-type":"item","numeric-id":4035234,"id":"Q4035234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$192954DD-B766-41C1-8D45-95B695869014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e41f428b37f853c0323bb5126ffdbf5085522bf","datavalue":{"value":{"entity-type":"item","numeric-id":4281564,"id":"Q4281564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$1F6030DF-3B24-4001-9D23-9A682200CA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$3825A2F4-5FD9-4473-B4A6-A21FAAED0EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe91faead361908a57f5abb57ab434ee7f6c53c","datavalue":{"value":{"entity-type":"item","numeric-id":1062471,"id":"Q1062471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$8A531711-A3CF-4F4D-8F1E-00A3929071D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6010bd4918b1124375dcc71313be05de8ee960","datavalue":{"value":{"entity-type":"item","numeric-id":1221071,"id":"Q1221071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$4E8308C4-BBAC-409A-91F1-082D242AE007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f0fcb34bc14db9e31435b24f5733f70168f374","datavalue":{"value":{"entity-type":"item","numeric-id":4035660,"id":"Q4035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$0C3C8967-85D5-4439-9175-F174222CAF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e0764aeed39aa126a10e8f93075b006d5650c5","datavalue":{"value":{"entity-type":"item","numeric-id":5204349,"id":"Q5204349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$FC4CA231-01D0-4BCD-BC93-1B9CD1E37303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1a6c071c6e2d18eb21a8b04c6da14687ed1a771","datavalue":{"value":{"entity-type":"item","numeric-id":4036568,"id":"Q4036568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$B1223DFB-D2FD-4326-8C1E-28F98BF01E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d0c0414f31a6b3576fbfd0d45b9a6a5da110cc","datavalue":{"value":{"entity-type":"item","numeric-id":689293,"id":"Q689293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$67FDCDAB-6CF1-4554-8A48-DD61CB2DB42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0755527dc26ccf06e69cd62ec76a91e4b8d0335c","datavalue":{"value":{"entity-type":"item","numeric-id":3903002,"id":"Q3903002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$09BDB2A2-89E3-415D-BD7A-BB1B97D5552A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91bc5c963ccd0a92d970fc79ce8c0c9894a0f21a","datavalue":{"value":{"entity-type":"item","numeric-id":1178709,"id":"Q1178709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$F1E0A1F9-8161-425D-8242-68EBD5D80418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c426a78f3bd52467e944e76ff889b81b5e40b2","datavalue":{"value":{"entity-type":"item","numeric-id":3976059,"id":"Q3976059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$165F2AE5-7005-410F-8A56-C64DE2733A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff399d2307810ddfc97760552f75c981785a90ff","datavalue":{"value":{"entity-type":"item","numeric-id":2736356,"id":"Q2736356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$2673F16F-49BA-466A-B35A-7D24538C5E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4882aab3f5763a57154468372c56e809350f14d5","datavalue":{"value":{"entity-type":"item","numeric-id":3698316,"id":"Q3698316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$CEC51569-C80A-4529-84AC-FE9766A97321","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":"Q1318685$3A7E1171-6637-4D79-9BBF-065FBE472BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32aa1157772b94939bba2ede97a34ba9aaba6f","datavalue":{"value":{"entity-type":"item","numeric-id":1111703,"id":"Q1111703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$98C4F675-50A3-428E-BD06-8E79374F6C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb09d44e54d573a812df4b4d974d70e4a9680694","datavalue":{"value":{"entity-type":"item","numeric-id":4007855,"id":"Q4007855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$A1538930-4CE7-47FA-B8D2-2195B3A4F90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989db8f2396fc42f0817a312d8ace4cff2b6a610","datavalue":{"value":{"entity-type":"item","numeric-id":3971351,"id":"Q3971351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$E41F07CC-67CC-426A-98AF-3D6E5E322A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eb9cd5451ef498f2c3e8aa594c2a733c9a80e1","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$7E2F463D-2249-4446-AD08-DE8A13BBCEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12550e88f7a4ec578bb5b96ede421ffa2af26f","datavalue":{"value":{"entity-type":"item","numeric-id":3330542,"id":"Q3330542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$12891B50-3C6C-4512-B61B-F6B2C54CDF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be3ad3a271adfc3cd278539407e44d85a2e2bb1","datavalue":{"value":{"entity-type":"item","numeric-id":4770337,"id":"Q4770337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$7EC5C498-6902-4A83-A4DF-0C211CE78CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318685$434E4333-9EA1-4D60-8FA0-1B990121B4B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8aa5898a7fd8165f3dac431667965cf68eed52f","datavalue":{"value":{"entity-type":"item","numeric-id":4036568,"id":"Q4036568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc8d1aa6ca9b702c1050714710952504eb7fc13","datavalue":{"value":{"amount":"+0.8972565531730652","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":"Q1318685$812CF0BD-A274-44E1-90CF-8E00BC6DA5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27751d076208e129f40d442bc589eef116faa8bd","datavalue":{"value":{"entity-type":"item","numeric-id":5167833,"id":"Q5167833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc8d1aa6ca9b702c1050714710952504eb7fc13","datavalue":{"value":{"amount":"+0.8972565531730652","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":"Q1318685$1757A7EE-E237-435F-A7C3-D8DCAFD75F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d152d9fa1fffe9ac50194f55a620ac4fde44101","datavalue":{"value":{"entity-type":"item","numeric-id":4035660,"id":"Q4035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78fd8612baf8fa2741dc4a07242462a357e18e4","datavalue":{"value":{"amount":"+0.8741239905357361","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":"Q1318685$5F185673-87C6-4E2E-8686-2E77AA8DCDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efde864148a3f63c6447ead1be04afe4517d561d","datavalue":{"value":{"entity-type":"item","numeric-id":4281564,"id":"Q4281564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78fd8612baf8fa2741dc4a07242462a357e18e4","datavalue":{"value":{"amount":"+0.8741239905357361","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":"Q1318685$B9ABE020-0AB4-4F9A-8339-311E53796261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceff80d1b2ad0484113a58edf44dcba12bf642aa","datavalue":{"value":{"entity-type":"item","numeric-id":1346721,"id":"Q1346721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a14af5ebfbdecc78ed9424b20ee62c2416034c0","datavalue":{"value":{"amount":"+0.8658273816108704","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":"Q1318685$AE51774A-3491-45D0-AECE-1DE34BF6F69C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An extension of Kleene's and Ochma\u0144ski's theorems to infinite traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_extension_of_Kleene%27s_and_Ochma%C5%84ski%27s_theorems_to_infinite_traces"}}}}}