{"entities":{"Q5870862":{"pageid":7900413,"ns":120,"title":"Item:Q5870862","lastrevid":57579582,"modified":"2026-03-31T11:45:19Z","type":"item","id":"Q5870862","labels":{"en":{"language":"en","value":"On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7645066"}},"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":"Q5870862$DE1F4DB8-3B16-4793-BB7D-6DAB6B956A29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dbcae96e0b62000cd278e9a74aea93d19d33158","datavalue":{"value":{"text":"On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5870862$E9E864F8-200D-4E9A-9694-7FEC92B01C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2e05c4123c2efa66dfb6e76ba25e05b97e38256","datavalue":{"value":"10.18255/1818-1015-2021-4-356-371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870862$33FE8307-CFFD-4017-B709-EE2237C49580","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7195b43735dff1c45d26f19cd8937d7ff3c3532","datavalue":{"value":{"entity-type":"item","numeric-id":5060077,"id":"Q5060077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$832598D9-46AE-43FC-A140-60FE748081C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7153bb19785740785cd6347b4d653dc5d37c5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":1592931,"id":"Q1592931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$3FC04DE3-0AC6-4F5E-808D-819EDC7C26DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e4ff69d98581f0e60171b74a0d3744b7741d0e6","datavalue":{"value":{"entity-type":"item","numeric-id":5060051,"id":"Q5060051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$5E25188F-5EA7-40D8-8A96-1355C76A68C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d36de95218092651053d86e05f8c2ff076590975","datavalue":{"value":{"time":"+2023-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5870862$7628CAFA-B18F-43F0-97A4-A8E42A873CEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d6c36df5095569eb8db3304f6fe2e3f7ace3383","datavalue":{"value":"http://mathnet.ru/eng/mais757","type":"string"},"datatype":"url"},"type":"statement","id":"Q5870862$AE830881-88EF-433A-B877-051C1D216CCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870862$03F38838-0274-4D85-A4B6-C5AF6FB91CD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c2c53ce33de9b857e29bc07ba8a9b26a4da812","datavalue":{"value":"7645066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870862$1A6313E9-DB50-4F75-9D77-A59E90746889","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$F35001B6-9E92-431E-BADE-F5E421CFFFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$73EE5418-A12A-4F35-8D16-FCA50C08EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d9249fb1cd697d81c85cdf08d7ccacda1a83410","datavalue":{"value":"transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$A4AD68DC-B1A7-4C74-8517-CA0880540F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$126BE639-3295-4A08-AB68-B3F481008D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$BD1293C4-3B1F-483F-BAAA-01A6F034DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a863b8a2247f4c23547b67157a0c84fb61b5efba","datavalue":{"value":"Buchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$42674C04-7C7E-4E8A-904F-6708E4A64E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9159d4f959d21ef7c3c5f2d36ede4144c26f9c","datavalue":{"value":"emptiness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5870862$98B85CD4-D0B4-40C7-B200-F871AF943C47","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":"Q5870862$0FB3A8F8-3AAF-45CE-902A-6482C283CA65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab829e68db304f1484e692f4861acf359f955173","datavalue":{"value":"W4200153695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5870862$84CE450D-6BBB-4D8B-99D3-12970DF053A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$617F34E3-79EB-4605-80A4-B90B35689316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$1D98F22B-9A58-4F31-A6F2-4643B7175B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$748F92FD-DE39-46EB-AD7D-241026D1AC2A","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":"Q5870862$CFED50EA-2E03-453C-BCEF-55A330EBD769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$0D6D0EFB-180C-4205-9AA5-FB3F9D1BF47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e0fe8acd58ed4b61bf6eb360c5f4c75156efb93","datavalue":{"value":{"entity-type":"item","numeric-id":4417820,"id":"Q4417820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$5DB94B0F-5D5D-4A2F-A5AF-1451F818BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$DE56F815-9192-4B5F-9DB6-877611AF5E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa404c5b67ae535057c92746ebc4e8f9f04fe6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5060078,"id":"Q5060078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$A31FE154-BB35-4FA2-9274-8A94DE0125E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$B3FC74F2-247B-4F68-AF43-45C535968803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$35D3950C-AAF6-4C19-A788-F5A37E6F885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73772cb1a9d61af11e7e7f5f6664c6a893776d0b","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$B2CA77BA-3737-425A-959C-A15E5214EE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00cbde3251412cfa14f08c960e0a01dd234d460","datavalue":{"value":{"entity-type":"item","numeric-id":2947161,"id":"Q2947161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$E222AB22-801D-4A2F-A927-D6CA09CE08BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$6F05BF01-A604-4F4F-916F-2E71B7A2F1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$A5FF5301-C1E7-47E6-8010-679354590B04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca79ff3419a4ced4ccb9b972045dba6315339143","datavalue":{"value":{"amount":"+0.9208011","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":"Q5870862$99352980-AAA5-4B1F-8702-D609F497EE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a132954b69803bda0e029f18cbec27ba1ef0151","datavalue":{"value":{"entity-type":"item","numeric-id":5357708,"id":"Q5357708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f84db77c6578b77acee36ef05bb4c8e85099ad7","datavalue":{"value":{"amount":"+0.9026043","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":"Q5870862$91DB2CF0-BEA4-444D-A734-4F454454A835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea4e8ba95b3cf65e677e30c4bd3d5f10b6520b67","datavalue":{"value":{"entity-type":"item","numeric-id":4576245,"id":"Q4576245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b9eaa092d908775b89e47eafcd35077c4ff7e2","datavalue":{"value":{"amount":"+0.9006871","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":"Q5870862$ECFA85B1-6279-4B24-ADD7-61DCE830882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b3dea2aa6878c866155baba4b459ad75668b6d","datavalue":{"value":{"amount":"+0.8998743","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":"Q5870862$BF901068-8180-4B6A-BF48-E41BAB086FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b3dea2aa6878c866155baba4b459ad75668b6d","datavalue":{"value":{"amount":"+0.8998743","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":"Q5870862$EA3C1BE7-12E6-400D-BC70-5E139E7948BE","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":"239b187efea9a34c3f3c4cae5a6804f5057e3598","datavalue":{"value":{"amount":"+0.89966184","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":"Q5870862$E2642696-BF95-4248-A918-6190AFDD0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae3439238dce07549040208ac17f289271ed86d","datavalue":{"value":{"entity-type":"item","numeric-id":3460579,"id":"Q3460579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163707eca58080c74a3b6b3bfbf4b363d6b8639d","datavalue":{"value":{"amount":"+0.8992041","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":"Q5870862$301B88AD-4BED-4E08-BAD8-FDF86160782B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4ddabed42e129b7118a7efb54b9a6e945e883c","datavalue":{"value":{"entity-type":"item","numeric-id":5260751,"id":"Q5260751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf41c189bb42fe28a94b17161ab652d1239f890","datavalue":{"value":{"amount":"+0.8990779","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":"Q5870862$4A15CE7B-6575-4845-9E0F-7FBF7BB593B8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5870862$AA4B0945-D6D8-4121-9C47-2DEE22AEC2EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5870862","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5870862"}}}}}