{"entities":{"Q968362":{"pageid":970210,"ns":120,"title":"Item:Q968362","lastrevid":50973254,"modified":"2026-01-16T00:58:55Z","type":"item","id":"Q968362","labels":{"en":{"language":"en","value":"Pushdown module checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703914"}},"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":"Q968362$BAE6D37E-E61D-423F-A2C4-18121F2F2E16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e4cd4e1ebadf94d43f1b47e070feddc0fad9539","datavalue":{"value":{"text":"Pushdown module checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968362$53B83E73-6774-4C25-A6F7-8E5D5555A79A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d73bd6e0877a95a2a60042463c538b909082224c","datavalue":{"value":"1209.68312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968362$51EBE65C-7BA5-47F4-B2A8-A73E301A1E5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$AA9026B1-E6FE-456E-A955-99C086820D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$740290F9-1890-4FF0-B281-E68EC77A3940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$6F37D0ED-279B-4C41-88BA-CC89182C576D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$A85850A0-19A2-4950-97DC-870732A685BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968362$F5B6E488-0741-4BE0-872E-F4F842CEB29E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968362$8A445819-C162-4E83-9D31-E76256359994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be754ec4e74d16978e3a19403942698a55f3f361","datavalue":{"value":"5703914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968362$8142A6A1-AA6B-419A-8DCB-9F88AA8ABC44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea181b79223821367bae9d52ec5abb6dc0f2eb21","datavalue":{"value":"module checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q968362$5274547B-545B-410D-B05A-81FC431EEAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q968362$C58FEC7F-80CC-4C70-B7D4-EACD5CD30903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8325b19a9709030932dad486052e4e0093ba153","datavalue":{"value":"branching temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q968362$B5E81687-BAAD-40E0-B338-2BB51F5FFA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q968362$F3478A56-0D9D-48C8-AE38-758A24E6F261","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":"Q968362$88FAD4AC-DA56-4723-933F-02B6B0BC6592","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c03bbc7e4a0f430fb70b660c5b50e39144c2bf1a","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0093-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q968362$BA63F351-AD4F-4D8A-9497-B5BB27B8BDF4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee0dda1f87310dc17b93e7f23e7a674fbe22946e","datavalue":{"value":"W2092229972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968362$40F39F09-E7FF-46DF-B7E2-EC663152A3C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf6a57c353b4d0323c6307d97d492270bd4b517","datavalue":{"value":{"entity-type":"item","numeric-id":3525655,"id":"Q3525655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$7612B9FE-9F1A-46B3-BDCF-4E65C278B894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8caa6b8e77f58aab9d4924b21a84681c6d9847d6","datavalue":{"value":{"entity-type":"item","numeric-id":5898610,"id":"Q5898610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$43F9B13A-84E6-46F9-B698-C8FF6AC9CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe76e7c7c69ea3113cfd37113ad36ccb294761c","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$16C5995C-74F7-4C16-88F0-7F86D464B3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb95117e247464fd508808171f7c004f37e96ff","datavalue":{"value":{"entity-type":"item","numeric-id":4412840,"id":"Q4412840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$B6246F25-8264-4215-A866-DA1ED4C818BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$6B4D50D9-0C8E-4F09-9918-6E2890BAF32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$F4C7262F-DA7D-43E7-9912-5E88AAFAE963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e902457964a312a605389238232d33897eb4c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1887158,"id":"Q1887158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$EE9C8518-D073-4A0D-A957-E1392FF3F3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$55B8FE75-403C-47E8-A59D-991E6C75B157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$F4A77BE7-6A59-4711-BE52-BAFB351C6FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1657fefe9b1e5a99d1f100464f7065f98e322a21","datavalue":{"value":{"entity-type":"item","numeric-id":4895547,"id":"Q4895547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$59CE8A06-D0B2-45DD-8CE8-4193E07C0FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72423c81755b58a715eaa812a4550839208dbe43","datavalue":{"value":{"entity-type":"item","numeric-id":4536596,"id":"Q4536596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$03182612-FDC9-46EA-94C1-0EB445E6315E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$47D0163E-580F-426F-AB30-46E1D3B0BFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$C3B90C7E-02A2-49FB-9DEB-9AF57E572504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$864A0A31-6220-46EF-960E-1EF864DE7FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$F85E9DC9-6BC9-4286-8872-23B1E07C0506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$3471ECD7-770C-4BE4-AB08-F8822AA345DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$FC29BDDD-DE95-4261-927A-A9EEEA227F30","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":"Q968362$38905704-8C8F-4EEA-B7AB-94C893F12D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968362$6291EE93-4B77-4FA3-B530-34A41B0B8013","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d2b7f6271f880c96db45413bee1ddaed6b6d01a","datavalue":{"value":"10.1007/S10703-010-0093-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968362$3A6000EF-F289-48AC-A4A7-CBF5B8DC9AAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de640cf007b1edbb6dfd7f1087a191940cf356dc","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7216a5b4c648005adf4f9809ecf562d621060f1","datavalue":{"value":{"amount":"+0.9977756142616272","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":"Q968362$194CBDE5-5FFE-43BC-B5FA-50C8EFD4B032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da470fff85f8cc4edd28dca66c5419a822ec0924","datavalue":{"value":{"entity-type":"item","numeric-id":3498485,"id":"Q3498485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c706781ab242dc7ded87892a17998b15ecc10a","datavalue":{"value":{"amount":"+0.8567601442337036","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":"Q968362$2FCF47C6-8ECC-41F1-89F5-253B9F7E5901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c734655125d3a1dae9c03679a924943e7537d028","datavalue":{"value":{"entity-type":"item","numeric-id":3525655,"id":"Q3525655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8651d7054c2d5b06401e3526c225c181b7ed87e8","datavalue":{"value":{"amount":"+0.8530163764953613","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":"Q968362$555AE859-E9D3-4BC6-AD61-945D25838B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5bc9a17afec83537deaf5e506324b59d40bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1951589,"id":"Q1951589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a985df09c81a484defa581ef81f0b2c99932e806","datavalue":{"value":{"amount":"+0.8520799279212952","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":"Q968362$639D87AA-9738-4660-890B-C50A03BAD71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9176d91a54ae31eb2873f31bd2d01523d0815d","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1c74a3adc72d01e0a234f5e4df2b01c7aaf84c","datavalue":{"value":{"amount":"+0.8476357460021973","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":"Q968362$A0166B00-1B9E-4EBD-A631-A5AD87C1D5CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:968362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:968362"}}}}}