{"entities":{"Q3636800":{"pageid":5666706,"ns":120,"title":"Item:Q3636800","lastrevid":50694404,"modified":"2026-01-14T20:15:05Z","type":"item","id":"Q3636800","labels":{"en":{"language":"en","value":"A Faithful Semantics for Generalised Symbolic Trajectory Evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571814"}},"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":"Q3636800$37F62720-2D6E-4D9D-974A-1EF2786F12C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3a741e2f64de2028b8eb49b3f41a881bc98e253","datavalue":{"value":{"text":"A Faithful Semantics for Generalised Symbolic Trajectory Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3636800$A14F9853-6F01-4F94-8BF3-9A4E9F55C788","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a6d25d53ec2e45b7435bcefec3d8112057aaefe","datavalue":{"value":"1163.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636800$AF90FA8C-9C4A-4FEC-BCE3-839E0B1B95A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986a012cfdef2bc4d7f20d000271d9676e84225f","datavalue":{"value":"10.2168/LMCS-5(2:1)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636800$48D2AFCC-2FB4-4256-A6A8-A503E20A411D","rank":"normal"}],"P16":[{"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":"Q3636800$428B2108-846F-445E-B3D7-D47F0D977365","rank":"normal"},{"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":"Q3636800$8BE244C6-03FB-40F2-93B3-44499B617B42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636800$53C27246-CB08-4D30-9579-0EE2E2DF9BC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636800$4AB928FF-B357-4F1C-ABB3-52F649B219BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636800$233B54AF-9252-420F-8BFB-C134221C7396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636800$8C5BA6DA-9757-49CB-9877-E87B8F3ED2CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62e9ece04d145106582db395c789fcd22a78610c","datavalue":{"value":"5571814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636800$FD91C394-3892-4B2A-92BE-2BDAF8A436BA","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":"Q3636800$025DD617-9C4F-4192-9DCA-5566ED3CB74B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"993292c7e907e4f263c8973b7735eac170748614","datavalue":{"value":"https://doi.org/10.2168/lmcs-5(2:1)2009","type":"string"},"datatype":"url"},"type":"statement","id":"Q3636800$6359FD97-C9CF-4438-96E1-EFC3E97AA359","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f9f14998039c0d7d3c3580de41a5d6c5fddfb9f","datavalue":{"value":"W3105912136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636800$66C2AC8D-63AA-42C5-B7B5-4C556D044337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3167cd4cfd397a2a8e68118a29816a1a96753ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3434722,"id":"Q3434722"},"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":"Q3636800$CE461EDC-20EC-47D1-9034-750DD2951CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06c91ccc34184c97e64bdd0a94d2a8fce943aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4427896,"id":"Q4427896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601115fe2cb8d8786aa8c51c5f0153be6d64773d","datavalue":{"value":{"amount":"+0.8480356931686401","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":"Q3636800$88A50EA4-EA4D-41CB-8AA7-109D65A76E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353c608691c01000aeeb208adf4492bc17b2a88d","datavalue":{"value":{"entity-type":"item","numeric-id":5897066,"id":"Q5897066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b5912d4ac7879e27714d42d25d3243ebba12ac","datavalue":{"value":{"amount":"+0.8114926815032959","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":"Q3636800$6E54842A-D660-4E2E-A41D-45ACB1385043","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":"dc4f0bb3d1f8db3c4cad96f40415169fef95aa71","datavalue":{"value":{"amount":"+0.8070988655090332","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":"Q3636800$4A8C31FF-2EBD-450C-A411-64F3020483B4","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":"81ebeaeabe599906b7477583df6d8ae0b1a1ead0","datavalue":{"value":{"amount":"+0.7880678176879883","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":"Q3636800$D3D60F66-C6C1-45DA-B7E4-7444AA2D4896","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3636800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3636800"}}}}}