{"entities":{"Q821564":{"pageid":823412,"ns":120,"title":"Item:Q821564","lastrevid":54092378,"modified":"2026-01-26T05:57:03Z","type":"item","id":"Q821564","labels":{"en":{"language":"en","value":"A decidable and expressive fragment of many-sorted first-order linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7398017"}},"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":"Q821564$E69C2E68-0B84-4669-BFB4-949095F81496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77426796950caff495d24597a26b06a4cb749fed","datavalue":{"value":{"text":"A decidable and expressive fragment of Many-Sorted first-order linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q821564$33EFE9C9-470A-4223-BD47-1C94260494EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba17b0e92b6e9a296996fcbbf1dd0a2ee838832a","datavalue":{"value":{"entity-type":"item","numeric-id":517045,"id":"Q517045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$78A1B9F5-1D73-4D99-80EE-2CC0A22ECC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$05A8FAA6-59FA-45E8-8B17-54FE460B4512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$B0292993-58F7-49AB-9766-9776A3771AB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$3390CD42-47D7-41E3-9549-F0D233185AAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44db5dcbe50c77f3e5897b0f25a44315c74b126a","datavalue":{"value":{"time":"+2021-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q821564$6310A2CB-0BBC-40F3-AD19-42503ED57A0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821564$AF7CFF59-4544-4EC8-B470-4AF983BD976F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f5fee57dfe99d694df6ef5abf65ecc3e5536286","datavalue":{"value":"7398017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821564$0BE7BC48-5636-4646-8D1B-30462A8EFF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"141f213385ceb257b41cbd8556f3ba1d7ce89fff","datavalue":{"value":"first-order linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q821564$884F23E3-E47C-4060-810F-D3C82F9B3DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q821564$516A8D74-122F-4626-8928-83001E9A9BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78593de71844c2aad9ee12956d09253f286c77a5","datavalue":{"value":"bounded domain property","type":"string"},"datatype":"string"},"type":"statement","id":"Q821564$D74C52FD-8165-4FB5-8E63-EA65AAEF90B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d31fffcf5c17741d7f085ed4b0128d1bd540c93","datavalue":{"value":"finite domain property","type":"string"},"datatype":"string"},"type":"statement","id":"Q821564$0D7E0E9E-961A-4EA3-A785-155191AD2AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q821564$B4E98222-7CA6-4BE2-9868-77A00AE83490","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819ddda2e7b125b327dd1cd285f895e0bd6f622c","datavalue":{"value":{"entity-type":"item","numeric-id":5972521,"id":"Q5972521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$918A660A-402B-4DA4-AC9B-193B10F4B3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$5AB7DC36-A3BA-4591-9693-E9972BE0E3C9","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":"Q821564$7D227A8F-C0D1-46E0-A04A-5DE201556EC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb1a5be426f3ef2cf57549c96fd29f5128ab6bf5","datavalue":{"value":"https://doi.org/10.1016/j.ic.2020.104641","type":"string"},"datatype":"url"},"type":"statement","id":"Q821564$249B434B-474C-41AA-998F-9AB3D4D4E5AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"989ced6878aaaae6a81609df9331961222dec118","datavalue":{"value":"W3096887581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821564$E83B2957-4573-4D6B-81CE-376167D2C0CB","rank":"normal"}],"P223":[{"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":"Q821564$28BB2A0F-6637-4733-BDF5-40B3BF06C100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$8FBCEF47-E0CD-4AEC-9918-DC26FA5BBC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$3A9DD0A4-F8BA-4CC8-87FC-AEBA61DEEBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e7263608c977c3e706e2d84a9858761dc97a07","datavalue":{"value":{"entity-type":"item","numeric-id":1990508,"id":"Q1990508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$0FACA2AF-8E19-418C-8C75-E0969681253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280010c88ea3654588239b55152e0eb25171e531","datavalue":{"value":{"entity-type":"item","numeric-id":1041587,"id":"Q1041587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$EF5E760E-C7A5-4795-8458-1CAA0D084CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$121D8103-69A3-45C2-A164-E3830B62AD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e227e598b4f65a927b7393a05720ddf79e3793","datavalue":{"value":{"entity-type":"item","numeric-id":2996150,"id":"Q2996150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$85ED2CE9-C197-49BA-8440-25EBFA15129B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b92b74c4e7a72f30048e7e9a3c385ce48e6118e","datavalue":{"value":{"entity-type":"item","numeric-id":6487559,"id":"Q6487559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q821564$2A75465D-9F99-44B2-AF25-BD374B8E056A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc56db829c398e133cbfe864bdc5b0202f09c37d","datavalue":{"value":"10.1016/J.IC.2020.104641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q821564$FD57A957-D499-4677-91A3-7824E08C28D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855402ef7d5680a3442f654ea6dad00be4d2100d","datavalue":{"value":{"entity-type":"item","numeric-id":6487559,"id":"Q6487559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d9a50a478cc3d51e62f094dac5d8f3f5efea8e","datavalue":{"value":{"amount":"+0.9256154298782348","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":"Q821564$172049E9-BDC3-47B9-9060-866383EA8E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0420ab9a6762cb9f332c496eda00b312ef5c82ac","datavalue":{"value":{"entity-type":"item","numeric-id":832273,"id":"Q832273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a02af5a1fe89fe7201fd016b5d224e6ca551809","datavalue":{"value":{"amount":"+0.8142452239990234","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":"Q821564$8073C8D5-F2D1-48B6-B74D-614F9B0709FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa488e25341d9e93dada166f13746f9be3023776","datavalue":{"value":{"entity-type":"item","numeric-id":1990508,"id":"Q1990508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b1a6b0d907f469d8d9dcf439057cbd5fbe0400","datavalue":{"value":{"amount":"+0.7816077470779419","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":"Q821564$B546F22F-B8F5-42B1-BE45-F1E888AA3FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6051eb056687d0de66e2cd2db5f25f2feb507d","datavalue":{"value":{"entity-type":"item","numeric-id":3608784,"id":"Q3608784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"293de2e611c38e212eb90a03d54a0a362683a1a2","datavalue":{"value":{"amount":"+0.7755579948425293","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":"Q821564$A9AF6C5F-9B48-418D-95C5-E9E15FE47B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fc3872488c88524b9e2db44b16001d6c6339a","datavalue":{"value":{"entity-type":"item","numeric-id":2893321,"id":"Q2893321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff1ca99b0182f6729d5caf2e25b4ccd190d8147","datavalue":{"value":{"amount":"+0.7621091604232788","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":"Q821564$FF37D229-7468-458C-B71E-454BBFA02D5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:821564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:821564"}}}}}