{"entities":{"Q5136340":{"pageid":7165912,"ns":120,"title":"Item:Q5136340","lastrevid":58447878,"modified":"2026-04-05T06:35:56Z","type":"item","id":"Q5136340","labels":{"en":{"language":"en","value":"VLDL satisfiability and model checking via tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278119"}},"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":"Q5136340$D0717798-75B9-4A03-864E-30BD70F31471","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7a392fc198af9f8c8a05154a5d19b2a369344da","datavalue":{"value":"1491.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136340$1F936013-CAEC-46FA-A876-24984644A5EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7567a872b0a03cf45b9a24331f1f97ee1ad2d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":1786615,"id":"Q1786615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$A5587003-2A5A-45CC-9DDA-EC180724DED8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136340$DE0E8899-EEFC-47E3-B72B-AD8B2FFBC0C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98c1e1071be0734bdaec0038d72efc7eac7ed49b","datavalue":{"value":"https://arxiv.org/abs/1708.00699","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136340$14C7F4D0-550A-4729-8BF3-451E896AADFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136340$9DDD26F6-AD82-44B7-AC57-255EAE624919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136340$B519AD3A-612A-4B3F-8863-6C011BF5658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136340$5CB686DA-F4BC-4407-93BC-B7CC338FDE9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"967ab8e635a3a8ee403bb55aee0dece5174d71fe","datavalue":{"value":"7278119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136340$E7719213-F5B5-4E95-A2E7-A3D9B67F5059","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f35b5dea71cf11bd1513f9823e81077d0c7f41","datavalue":{"value":"visibly linear dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136340$D2152F4A-E17D-415C-BDA2-E3D91899EE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7edc067c231fb0d474ec785414d027813dcbf37","datavalue":{"value":"visibly pushdown languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136340$BB2D1A92-D500-478F-9F09-F5F9115E0957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136340$4366C9DB-C19A-409D-87D9-9B1A301EC7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136340$EE8DF2EA-3F93-4198-AE75-0117B0803EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136340$9BCBAE47-0217-4C73-9439-A5590DD9DC61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$5641955F-F004-486A-B2E6-F0BD3EC9C86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ef557ffcda9627b52809b9f15010666acbec250","datavalue":{"value":{"entity-type":"item","numeric-id":25960,"id":"Q25960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$99789F49-C514-4AB2-8B03-A40A23D8DE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$0A0951CD-3F84-481C-9057-A40FAC33BFAB","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":"Q5136340$577DA626-618C-4171-988B-C603322BD5D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$257ED7CF-35D5-4B2E-BF6D-7A2448729EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$C60F571C-4C1C-49EF-BC44-E4655B00823E","rank":"normal"},{"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":"Q5136340$FB5C6E29-8B54-41A5-A8D6-4B07F6CCA2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006dd7060267eb8c241907bdad1e9a1d82bb80f","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$37CD5FB2-ED3B-4F62-8A9F-4EE01BAD8078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e3f767018b0d9ecd0f4b6f5466bab9f169fab","datavalue":{"value":{"entity-type":"item","numeric-id":682377,"id":"Q682377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$3667096B-5F71-4A3A-BB90-5D08E73D9602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48ce858a0f69f3405f83614762667f69dc306bce","datavalue":{"value":{"entity-type":"item","numeric-id":2963922,"id":"Q2963922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$00945D2D-DE6B-43C9-AF83-900ECFF5FE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$2CB0311A-3B85-4FF7-BE53-29B79E470A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8150168d8295cf80bd4cb52b44dba3e5d9ea2a","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$8CE298E7-644E-4721-837B-5784485FAAF7","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":"Q5136340$5C64570A-2DF4-4636-BEFF-1FFC2CC3D67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9282021d413096ba59e9ec4d42d5d045c6f221","datavalue":{"value":{"entity-type":"item","numeric-id":3334086,"id":"Q3334086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$CC4538BB-4CCF-461C-ABA2-71AF4747B8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe91ba3ccb29e7b4aacdc84003e21bb60c91c4b","datavalue":{"value":{"entity-type":"item","numeric-id":4412831,"id":"Q4412831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$0E37B5DC-848A-4DE3-A75E-B8BB4A6730D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a8b8946023b2adb38ab5e2c388e5289e2c2a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5703784,"id":"Q5703784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$DCE33B23-0A46-4D22-B7A5-020871E525A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$E755A636-C43B-403D-BFF5-76328490D219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfbb86f652e01890434b94fbb49e1c97c375169","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$8779628E-EAF1-49FB-A4A5-F5A88DCE8961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136340$49501804-DEEC-40C5-85D3-D7010007EDB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b800d62d3850c312f9d98d261c6a54662358342","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136340$315F9CEB-EAE9-4D6B-99A9-517DF6F43E66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32ba4b2e6ae466af28f1614280b378e69b401ee","datavalue":{"value":{"entity-type":"item","numeric-id":1786616,"id":"Q1786616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e9dd57c071cf4e5e03e9b41c9c3e13e27cc3ae","datavalue":{"value":{"amount":"+0.833189845085144","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":"Q5136340$F211E24B-613A-4744-9AC2-7BDFDF855007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d442347cd50785f2bf49c878fea751019c6afe93","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbee6824af2ac36b1731c94f7b98659403f816d","datavalue":{"value":{"amount":"+0.8313322067260742","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":"Q5136340$6073B325-47EF-4914-AD38-72065B89D849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdaff6e547bfdedc860b6f81ba859f89f90365c4","datavalue":{"value":{"entity-type":"item","numeric-id":682377,"id":"Q682377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac401b05e1d04fbceeef161d425a3b9b9b6a1a0","datavalue":{"value":{"amount":"+0.7652324438095093","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":"Q5136340$4026201C-5F08-4F63-ABC9-37309ED0E7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfad1942c2e978c9a5e20a81d9d4e9b4a4fa4da","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330662dfa6d50082662d287fcb00232b3e54c82b","datavalue":{"value":{"amount":"+0.7562723159790039","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":"Q5136340$48C9F882-3198-4D39-8152-3BB182288F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f38436521580011b5773774c6182ee2c98b0c2","datavalue":{"value":{"amount":"+0.7530379295349121","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":"Q5136340$C5A1E8C1-A27D-42B2-8664-357B45557F27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136340"}}}}}