{"entities":{"Q3434722":{"pageid":3445425,"ns":120,"title":"Item:Q3434722","lastrevid":50085604,"modified":"2026-01-12T22:05:10Z","type":"item","id":"Q3434722","labels":{"en":{"language":"en","value":"Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148761"}},"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":"Q3434722$137E173D-A9BA-4CFC-8C51-933D3B6EF5C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a1bef8b57153aa5fbe024fd5419c214993e11f","datavalue":{"value":{"text":"Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3434722$FB4352F5-E416-4660-AA3E-1EA364799F11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4d0a34e85eb8ca73189f183d81930e5f6ae699","datavalue":{"value":"1185.68423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434722$1A35CEAF-9845-4811-AC45-E2F1FA7E6CF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8495ea88bd6046cc7c00bb1026c536ea4dfb05a2","datavalue":{"value":"10.1007/11753728_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434722$BD38BDE9-C8E5-402F-8696-92DB7563648D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3185e6c3501180d4202b7116e5d560d988a05fa8","datavalue":{"value":{"entity-type":"item","numeric-id":3433808,"id":"Q3433808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434722$8FE019CE-1ABE-46A6-894D-BD02CD1B9563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434722$C2123554-0BA9-4BAF-B2C4-27ACA4751F10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3434722$ED9792A2-8AE5-4165-B9AC-F1AA6E978819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3434722$5A1177D1-4F93-426C-80D9-F2B67411F1FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434722$062F0763-D47C-45C1-99A1-478E9401D1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434722$AA8EBCB7-FA95-4C86-B779-C6E6EDD310EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cbcaa576a5fede97ceb50c35eba3252b5bde82a","datavalue":{"value":"5148761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434722$4A6A2AE2-97CA-4F58-8FBE-B7E511B3250B","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":"Q3434722$28601C7D-F2FC-4186-9A71-E7DA620A0F8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63ef2a9692e637f43509605502b8d60a72811df1","datavalue":{"value":"https://doi.org/10.1007/11753728_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q3434722$E9C7D8BF-C5C1-4E1A-96B8-54A715FBE83D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ec5b326d747990e2e29f499f6a2ca7fe6ac6204","datavalue":{"value":"W1545207099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3434722$7F5EB88E-B071-4AD0-A907-B4203B3D7E46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124f67889e8bbd9aa673433a181b944c636f9cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3636800,"id":"Q3636800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8376be9719e2ef24f353afb437e535fd9333af","datavalue":{"value":{"amount":"+0.8647177219390869","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":"Q3434722$B10BE40E-51F0-40AC-B025-B7935D5E9BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0578f98c1fd787d8d23311c5250eeb3a8abdc4f2","datavalue":{"value":{"entity-type":"item","numeric-id":541222,"id":"Q541222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780e0c341d04df84f457d2a484ebb924726c2f8b","datavalue":{"value":{"amount":"+0.831607460975647","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":"Q3434722$827F9E18-4EB6-4DB4-AA3C-E79F1611FC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4407264dcf973a7a6165955b28c3e3cb06763b","datavalue":{"value":{"entity-type":"item","numeric-id":3176383,"id":"Q3176383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bb84df1b2bedaaf8a7a2134ede4127d9b284c3","datavalue":{"value":{"amount":"+0.8279826045036316","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":"Q3434722$C876CC98-653A-468C-ACD2-9CA6E3A280F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e829a9cb3ac79d1e0677ff881a4ef71fb2d5269","datavalue":{"value":{"entity-type":"item","numeric-id":4817544,"id":"Q4817544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10379b7f508b305047243b6f12b83c7df97dd244","datavalue":{"value":{"amount":"+0.8128224015235901","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":"Q3434722$9E9C91D5-E0A8-4134-9E93-6DB51BDAEB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54f9bd9490b6f1b69f322f75bdfaf05acbb25e5f","datavalue":{"value":{"entity-type":"item","numeric-id":526779,"id":"Q526779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d7ebcb8140c1645579b708e484c48e745b2d31","datavalue":{"value":{"amount":"+0.806101381778717","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":"Q3434722$5C80BC83-11C6-43D1-A46C-E6B8D71D2FFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3434722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3434722"}}}}}