{"entities":{"Q716499":{"pageid":718348,"ns":120,"title":"Item:Q716499","lastrevid":63782274,"modified":"2026-04-11T15:30:33Z","type":"item","id":"Q716499","labels":{"en":{"language":"en","value":"Unification in linear temporal logic LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5949322"}},"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":"Q716499$6E50A5B7-64C5-4A20-A8F1-A1490AB7AB0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b0a8441cae5ec4bfe9af3d808b309e26609bce3","datavalue":{"value":{"text":"Unification in linear temporal logic LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q716499$6E256A83-B4B6-4F50-A715-393ECD93E1B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c82de982913d40666d395eff470c2ebce803957","datavalue":{"value":"1241.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$3815F5FA-C2D6-483F-A8AA-C3B34C3B142D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62987eb0f13b464daa8403f58fb0761452f94a63","datavalue":{"value":{"entity-type":"item","numeric-id":301371,"id":"Q301371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$CFBABBBB-35F4-4B24-96B5-FAEAA4DA4DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$98D6D910-AB67-4DB5-A775-FBDF754A1464","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$C3362987-D9E6-485A-99E7-B46632671655","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e0f911d6f8277fb245d8e09b637e9a88b18bd10","datavalue":{"value":{"time":"+2011-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q716499$FC15044F-FCB8-4EE6-B0B1-BFD2ECA6AEDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$EEB7D4F4-8C83-48D3-9AD7-98DF432FC460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$1FB72196-3264-417E-B05E-41BF0D23F09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$C329066B-753F-413A-95E4-DDB783B182E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d96692e3dd19af007179695792d64a3e4f4bd9d","datavalue":{"value":"5949322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$29E8FDF6-A2D8-46FB-B123-4E95B1860F19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q716499$CAAD3C3B-571A-42F9-9C13-2E48CBB29E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q716499$0659B93E-BF19-4161-A4E9-E48F2E853AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q716499$3D0194EF-2D9D-42D8-B235-618ABDC320DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412a222163a6a7d77238f6f19798a25e2c5d456c","datavalue":{"value":"most general unifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q716499$F9A0BFB6-0614-4DC8-908B-71F350D89C70","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":"Q716499$AC54628C-BACE-4C46-8E70-2DEF5DEE03A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14cabf39b7efc293eea336e176eb9d18b7409468","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q716499$7AD311AB-CF09-4155-B085-E083834F49C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a50b0be1bfeb0f572eeecc54c58a3d310b15419a","datavalue":{"value":"W1989441839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$C76CE60F-6A76-483F-866A-F60C916B110B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4c41c43b7e902992efa361cf5672a438d4de99","datavalue":{"value":{"entity-type":"item","numeric-id":2996164,"id":"Q2996164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$57EE12C9-C4C9-4274-BDF7-E31869BAFBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d62405ccf45cfd5cf25dd4a0bc605b3b3cd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$BE6E9713-9129-4E6F-AC2E-1F36662ED0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96e28c2b0514e86460c293697d8c87c5f03b1d18","datavalue":{"value":{"entity-type":"item","numeric-id":2786134,"id":"Q2786134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$4EF94494-562E-413A-B800-22803C508B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9cfbf0be49d783b232834bbc88e62e8fd3462","datavalue":{"value":{"entity-type":"item","numeric-id":3185759,"id":"Q3185759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$7C41F341-DE89-4008-ABCC-8657BB035358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$EC40507B-9375-4706-8A8A-22A0A67DDBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$463EED54-90EB-445F-A031-2BDA1964FD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$8BF96AC5-ABA2-474D-8364-49DD7784E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91dd72da9b1cabb581c68cfd54aeac6803a5c3a1","datavalue":{"value":{"entity-type":"item","numeric-id":598304,"id":"Q598304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$30442F31-9547-4DAC-A92A-B2EBA48E5E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$7415D0C1-27CE-4F6B-B989-F1E61359A38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$9837E12E-6A5F-4DFD-B48A-C43B20818A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$8F94618F-95D3-4D31-8808-8016B1967657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e050a2beefe1e68ff899c461aebd3bc8543a39da","datavalue":{"value":{"entity-type":"item","numeric-id":5292641,"id":"Q5292641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$20F5B09C-6B2C-4962-9CFA-6263456A388C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f502d4e56a8abb89118bae401233dc90ef92b2","datavalue":{"value":{"entity-type":"item","numeric-id":3553916,"id":"Q3553916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$7B780CB0-9273-4C7F-93CB-C56B695D6295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$E2D2DEAC-0353-4058-BDF0-C62E3F367511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdaa622836d078fa3fb4edaf82e381113fbbf02","datavalue":{"value":{"entity-type":"item","numeric-id":3508162,"id":"Q3508162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$3D086430-7535-49ED-A750-43E684AC618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$E1CBDB73-860C-49EB-8E3D-690E3E6BDFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a60837ee6c70a0b91b37b9870ceba361b15dd4d3","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$183C8F3D-6B14-49DC-811D-B0B94E3735BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffab7277dae627c6720d25e3dd2b8c102166f2fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643520,"id":"Q2643520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$A5051540-E610-4A94-96E5-A5503D46E3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$A902B9FD-27DC-4EB7-810A-88D2451D3D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$C46E684D-218F-447E-94A7-0351A3D6A5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9bf7b60ffa69e85b236a52322720f62f3667ee9","datavalue":{"value":{"entity-type":"item","numeric-id":920971,"id":"Q920971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$78AA36D7-3D25-4682-9884-F9DBFE3BF117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e04418175c987dad1abf52407873a3edc2c40a","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$72856D49-2407-466E-978D-983642E25CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cc0cc0127b35e1649c62857aaafad60a28e326","datavalue":{"value":{"entity-type":"item","numeric-id":3647278,"id":"Q3647278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$B46F6D23-A8E4-44E6-BCC2-D4D8CD85F81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b3f0273abb2e5c2111ef3023713553d5983ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3520233,"id":"Q3520233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$05BD454C-AF53-4108-8E87-A854420D5342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ce04b9cd2287eadad31499bc1179a15eeae372","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$AE95A9A6-9251-4226-AB2A-39C5A9E5124E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3596ced879e749ef53140dbf9ff2b1cddd891bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5902297,"id":"Q5902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q716499$45B71472-73A3-4318-9C93-9F831340A120","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":"Q716499$E212B652-0DA7-4114-A32D-372F5384FE95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c34ee5f49fb22ec0f564700905e6ce4f361feb57","datavalue":{"value":"10.1016/J.APAL.2011.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q716499$EEF83B63-9538-4797-80B0-FA1741E94280","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d87b330d0cf51c443d9dddaca849be813ed5d019","datavalue":{"value":{"entity-type":"item","numeric-id":2661764,"id":"Q2661764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d152b6db6507430de83bb57ee4b9cf5b8997c741","datavalue":{"value":{"amount":"+0.92439866","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":"Q716499$92D85387-4531-4AB7-9C4F-22522DF0D920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7a47d61fbe93d271352768eff6c0f5f9620627","datavalue":{"value":{"entity-type":"item","numeric-id":3165757,"id":"Q3165757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2303878f1c366760f72079d666a03ca861045c86","datavalue":{"value":{"amount":"+0.91795444","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":"Q716499$320E2369-2740-44F1-959C-A6A7445BACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363a56c0eeaed85677540d97404e3a9c0f214a3c","datavalue":{"value":{"entity-type":"item","numeric-id":5172145,"id":"Q5172145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3690a2fcd855281711118542351264c63e1f4faf","datavalue":{"value":{"amount":"+0.9125066","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":"Q716499$5C46A2FA-277B-41D0-A585-0768469F3615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c3cf63675bdebc255e4dac81c6382a2be87e092","datavalue":{"value":{"entity-type":"item","numeric-id":1882794,"id":"Q1882794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cf3428960e7c35ba95307c15b0fa1fe0d2aa328","datavalue":{"value":{"amount":"+0.91018635","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":"Q716499$74F82749-6CFF-4A4B-BB37-71E7BAACE9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7810a460b7ebe52934e8dff313eadadff86429f0","datavalue":{"value":{"entity-type":"item","numeric-id":2686105,"id":"Q2686105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a75e3b6d963029af4bc758c289e153bd1fbac20","datavalue":{"value":{"amount":"+0.9049409","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":"Q716499$E83B461D-2902-4985-946F-BF4DCFE07CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a7012ca2bd562a7e57df0b315383bccdc5bda4","datavalue":{"value":{"entity-type":"item","numeric-id":2300079,"id":"Q2300079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b422cad03f5e423f2c4ecc3fd4aded3b4a061888","datavalue":{"value":{"amount":"+0.9020176","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":"Q716499$2CF5414F-442A-4001-9F4F-6B664BEB5E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742b854804231499caff7ada142ac7f59991ae27","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f05aaa973d86eae2956197ad02251713321e4db","datavalue":{"value":{"amount":"+0.89849913","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":"Q716499$F1A802D7-CA35-4082-9B2C-E5926156C8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712e12cffe3c9c9d8e20159d4c25f1635b0ff15c","datavalue":{"value":{"entity-type":"item","numeric-id":5056447,"id":"Q5056447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78ea7072f6478e940054983c55781d18d678996","datavalue":{"value":{"amount":"+0.8948238","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":"Q716499$EBAF0E54-F107-4D82-B1A4-0441572BA899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2834c89b0b90871cb87743566e87d60ed484a608","datavalue":{"value":{"amount":"+0.8934161","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":"Q716499$4A34C688-CCEA-4FBD-B49C-84BE659E3721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d1d04a83e47fbc0a6eeb25a3a7a885a946e103","datavalue":{"value":{"entity-type":"item","numeric-id":5853178,"id":"Q5853178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bae1f201ae34b6e9fd273477ecf7943c5711cbc4","datavalue":{"value":{"amount":"+0.8917175","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":"Q716499$196990C4-E6D9-4D39-9986-087FAA342BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in linear temporal logic LTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_linear_temporal_logic_LTL"}}}}}