{"entities":{"Q1887158":{"pageid":1897900,"ns":120,"title":"Item:Q1887158","lastrevid":71064720,"modified":"2026-04-13T19:14:43Z","type":"item","id":"Q1887158","labels":{"en":{"language":"en","value":"Model checking LTL with regular valuations for pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118422"}},"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":"Q1887158$CC90F577-C134-4365-96A7-6FB4D74CCAE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd8f896ad8815ef16d5d06eb5e63ad50d54dbdc7","datavalue":{"value":{"text":"Model checking LTL with regular valuations for pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887158$D1E69657-5A3C-4ECF-AE90-94EB9599A5CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2005e9bc74fb71d428fe359e83218ab066d3516","datavalue":{"value":"1078.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887158$11ABF4BD-E6A1-4DE2-BC7D-7653E782A2AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"132cf11b14606333f680e27e8424f1fb4901425f","datavalue":{"value":"10.1016/S0890-5401(03)00139-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887158$BF4819BC-BCC6-4BD9-A256-8BA42F6B448A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$6AF5B4FE-967A-4883-B18E-5664B212291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$731991F9-99BC-4A9D-9A30-1D72AA6C8575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42938a6743e1355728dbe4fe3c3ae295737cb5ef","datavalue":{"value":{"entity-type":"item","numeric-id":314814,"id":"Q314814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$B1F40306-3C77-45C3-AF20-24841901C3BE","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":"Q1887158$654C8885-6261-4165-99F0-A04BD20FF24D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887158$55EA87D5-221C-4ACF-AF99-1372E45390E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887158$5651305E-9F8D-49D6-8E7E-EE7CCCFE462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887158$47D001A7-6CA5-40BA-88D8-92A4840876DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc0ecc5a8603763ae2f9e4378a7a715c0de7b2da","datavalue":{"value":"2118422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887158$172A7A20-F0D8-4B12-8EDC-B3FCBB45B079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887158$D1B7602D-E72A-4160-A8EB-F9F09A9A4626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7249324409b546ee05aebccfa0d11c1e53c4b5fb","datavalue":{"value":"Linear-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887158$EA4FEF6C-FF0D-4372-9847-0DA282AB18C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d8a4beba4c517c84267c35c5746c9d5eafea35e","datavalue":{"value":"Pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887158$1F66F543-1DDA-43CF-8ABD-5B36C89084CA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$227D40E7-76C5-4A29-A9AD-A58A7854CF91","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":"Q1887158$EEE6C014-4987-4A84-8A32-7F0C9E0B3BB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$8DC0806F-9A20-48C7-8D19-A46399818C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$46CC528E-28AD-4EF2-97D6-853EE0364982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc6aedd9ac3c25d0a03730d5d12f05035842f62","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$0CC4A624-257D-43E3-B154-4CAC519E1D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$08F25AA2-6E34-4339-8390-C8AB5D3589CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$0970D2B9-D574-4E17-83AC-5EA3FBFDFE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85db71a32648e55138733c05985bbfe8ecd51d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$A1442ADA-398E-40B8-A46C-DE7136B15234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$279A9FCF-02BA-4128-8C45-DCFD1B0B477C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$AC7B01D5-8B24-4989-AECD-D95A69D4AD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887158$471B7651-A399-4CD0-AC33-D8DA60CD4F68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cf1705783560321fecf58eff7cd0549be4b3647","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00139-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887158$39EA91BC-7A0C-4A4E-A26E-B4AD05AF4A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3457ae99bf63c9afa851a05f9d0eb9c5552ef0f","datavalue":{"value":"W2114132089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887158$DD866B40-E512-42B9-A09F-58B999722B9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1facffae4f4bb32244da6e239c72c70fd4508a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006bb36ae5fbcc3abb31b4cc04475d9b9accc756","datavalue":{"value":{"amount":"+0.9751288890838624","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":"Q1887158$AF0A98C7-21DD-4FEB-9CC0-6CE030FD0559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e2e1203d7e5b8db467a268311da63c0244b664","datavalue":{"value":{"entity-type":"item","numeric-id":402129,"id":"Q402129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54382ef225486af68cca28bc80e11b0c90165742","datavalue":{"value":{"amount":"+0.8576422929763794","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":"Q1887158$6ABFC1EA-C1FB-4ED9-B9FA-94C5D9F9841E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f98eb066927d6fb103c045ac2aefb875ad39a7","datavalue":{"value":{"amount":"+0.8572649955749512","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":"Q1887158$6E8E13DB-A2EE-409A-AF78-5F8EE34CFCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07577d90b863174edcdb7cdfdb8e6c4ab41bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b31d0f3fdbce789c8806819956e11d07450969d","datavalue":{"value":{"amount":"+0.8284329771995544","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":"Q1887158$F29F90EA-FD21-41F5-AA56-092C53571FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7976f532916d3e7382cd475cd6c0d4253a61e1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d77b72f674abd611b28f8ffaf43446bd83d8a8","datavalue":{"value":{"amount":"+0.8282147645950317","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":"Q1887158$1CD81FF3-E7A7-4275-9CA6-504F55584112","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking LTL with regular valuations for pushdown systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_LTL_with_regular_valuations_for_pushdown_systems"}}}}}