{"entities":{"Q2105410":{"pageid":2116153,"ns":120,"title":"Item:Q2105410","lastrevid":55429075,"modified":"2026-02-17T16:11:48Z","type":"item","id":"Q2105410","labels":{"en":{"language":"en","value":"Satisfiability checking for mission-time \\textsf{LTL} (MLTL)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7629127"}},"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":"Q2105410$1049519C-48CE-40B6-B963-257AF8D51215","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc2041babd48ccdd67b97efdfc17bfbe980efc5f","datavalue":{"value":{"text":"Satisfiability checking for mission-time \\textsf{LTL} (MLTL)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2105410$34FB6E58-21A2-4303-9090-120FCFE1A4CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$4179D7CC-1E60-4FD8-8F8F-14BCFD2828B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$35940C1F-CD62-4EC9-A3C7-90139B1C7C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63732236fa66d5c3f9fb2c4a703259d2ca600fe1","datavalue":{"value":{"entity-type":"item","numeric-id":1996029,"id":"Q1996029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$6E08B3D4-4615-4F35-BAB3-888074E167DB","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":"Q2105410$55455B8D-84F1-470F-B84F-A0E7FD060D41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ffbf7a5071d227412d80225c3d73ff104ccb41d","datavalue":{"value":{"time":"+2022-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2105410$4685598F-72C4-4F7B-9CA5-BDA09F410322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105410$21ED0A1B-7893-4ABB-8CAF-D3FD7475C5FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932d168a1d9618b4c92a34dbd3eb5740d456450f","datavalue":{"value":"7629127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105410$EFFDEE5C-A4AC-4F9D-AF72-EB0A1770CC95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d57bb144619d868488ea7e6a0e0e5eeeb254d2f","datavalue":{"value":"LTL over finite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105410$7A35FCDF-B38E-4AF5-9226-D0DF7B34A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f8be496afa70f96c42c9d007ca2434d452e47a9","datavalue":{"value":"satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105410$AFB2A2AD-2109-4B03-A624-F8973CF26E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6c20f9d2d0f6abfb4a980b10a35230a11406dbf","datavalue":{"value":"SAT-based satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105410$C606630B-B233-47AD-B69B-56E7A5905792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6c84d84bf44b3897f104ba73fbfcc1e8ee39f1","datavalue":{"value":"conflict-driven satisfiability checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2105410$A97A0F4E-167A-4989-A8B6-B90786C84210","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$E02BDA42-29E1-4741-9B30-04EB92C5F589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$1759A7B6-ED2B-4954-8CCC-89B3C2EC6142","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":"Q2105410$9B6279CF-2E8F-4B69-BF63-2849D43564F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5947f34a409effe51598f4f6fd50c9fcf3009909","datavalue":{"value":"https://doi.org/10.1016/j.ic.2022.104923","type":"string"},"datatype":"url"},"type":"statement","id":"Q2105410$D91620F6-BE80-46E0-BB5B-8CE4BE1DCA0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d7fb8726677ccbe3136ea8d158e4b54a61363bd","datavalue":{"value":"W4281812495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105410$0AAEA3D7-46F9-47EA-BC87-F8370BFD3186","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$DBDCC90D-ED64-4DC5-AE74-51D1B7ECC447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a34d6c2eaefa808ad5777a355e891a3c645e83a","datavalue":{"value":{"entity-type":"item","numeric-id":2961552,"id":"Q2961552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$F70B069C-DA2F-4FC0-A9E9-53027B9B8C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85b13896b2a68b9bf78b69d462e062a7e049520","datavalue":{"value":{"entity-type":"item","numeric-id":5900691,"id":"Q5900691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$D04859B9-3926-4CA3-8A64-966B6F051A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a111fd6b41142556be158a9e4355579ce228e094","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$870A9746-93E0-40A5-8533-D3657997DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$E030BA0E-3726-43AD-8F1E-4B14E5081801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c2c416697a5071edaa2c0641d0f2c157ceb6b","datavalue":{"value":{"entity-type":"item","numeric-id":5505598,"id":"Q5505598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$47E3631F-CE76-4BC5-ABF8-6C9F5FA86154","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":"Q2105410$EC6B6EBD-4E4B-45FB-B7F6-E7DA642A1229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$B81CD6B5-8110-4AF4-B240-668BBFDB5E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc0e43273e81a7571f7b39642916e4af430d8669","datavalue":{"value":{"entity-type":"item","numeric-id":4649289,"id":"Q4649289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$EA93C5F4-F91A-4301-8A1E-A48324087692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdbc7a9071875aac437c4544c1a225a570a3964","datavalue":{"value":{"entity-type":"item","numeric-id":2324218,"id":"Q2324218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$D981810B-9053-487A-A49E-D3CE21D4F887","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":"Q2105410$7288B896-BAF9-4E9B-9B65-8B8A31256E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf6e66d0267d3fe1b3ceab5ccdf9e302fe126115","datavalue":{"value":{"entity-type":"item","numeric-id":2405259,"id":"Q2405259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2105410$3DF071A1-98E0-46C8-9B37-4F22F216E24F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fb83479f49efabae51b1d0fb2e590da36e3b9e8","datavalue":{"value":"10.1016/J.IC.2022.104923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2105410$A36453C0-292F-4863-B936-9DA94B048F21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4b53eb5ce6c064a5e7a0554d24717b92e9c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":6154870,"id":"Q6154870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdde4e375a1a917886f345327067d00dd137dabf","datavalue":{"value":{"amount":"+0.9815878868103028","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":"Q2105410$15C5F7E3-18CC-4EA4-9811-DA9E032E986B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b12e42585664361c0df7327302c66cf8f4d219","datavalue":{"value":{"entity-type":"item","numeric-id":6536429,"id":"Q6536429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a402643e3db22fad2a22b6dd303145406310f90","datavalue":{"value":{"amount":"+0.867794394493103","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":"Q2105410$BE4FF2DF-2EA4-4CC7-9218-FC367D1ACA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd337c76b9d0191a884de11665b0801df545251","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487100feb8ac318b47493b9cd1be3c7906101e25","datavalue":{"value":{"amount":"+0.8186080455780029","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":"Q2105410$549024D7-1943-4EEB-B5E8-FAC3E66B650F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f56e378cd126375a4faed1f9d35cfaa84e354b","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02964d8d168ec858a205bd2b9fb06a4db5b8c638","datavalue":{"value":{"amount":"+0.7972556352615356","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":"Q2105410$84E5CF96-8CFB-441E-A105-9836F8667D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be50a16f594585ad83b769990cd70371ed47af65","datavalue":{"value":{"entity-type":"item","numeric-id":5505598,"id":"Q5505598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb81595c076657d07cfca6713ffb16c9060daa7","datavalue":{"value":{"amount":"+0.7966351509094238","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":"Q2105410$A1363F46-1104-4DC4-83DD-7CF50C0B578A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2105410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2105410"}}}}}