{"entities":{"Q1973928":{"pageid":1984670,"ns":120,"title":"Item:Q1973928","lastrevid":46919358,"modified":"2025-12-25T20:47:11Z","type":"item","id":"Q1973928","labels":{"en":{"language":"en","value":"Variables as stacks. A case study in dynamic model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1441350"}},"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":"Q1973928$F7699787-F3F1-433D-AF94-D9B496E5AA2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ee6ef387b1d9c8d299fbdcde4a41aa22fc1e2bb","datavalue":{"value":{"text":"Variables as stacks. A case study in dynamic model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1973928$49B9AB44-A430-4C0A-9B5F-6C48FB046622","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57e895bca59b00683aff7f1e4d79e1bc19a1231d","datavalue":{"value":"0988.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$C7E9C803-95C1-4C41-99C2-CD36F0A8C047","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01bc1bcdfaa75ded4289cc7649cdaa2c32b7ac88","datavalue":{"value":"10.1023/A:1008332604642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$4504A761-8D65-4771-9DE4-0B706D782432","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1973928$D709CEC3-7341-4C3A-9DEE-2DD2FF22BD01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1973928$76B5889B-B48C-450B-9EEF-7196F44DBC3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$0C559648-AC37-4748-AB6B-5A7BA72A04CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$D83F141E-6F62-4941-A0F1-35A8C4C1915B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$A1AD34BF-EF40-4428-9490-102CFD510AF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d36ff7acdc23c88470d57175c6b2d642850d1b9e","datavalue":{"value":"1441350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$2E9EB1A3-E29C-4073-8706-B63831D9233B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768f44bc0554d8c0cb086f8a3a081e6fc95826c2","datavalue":{"value":"dynamic semantics of natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973928$354F95D6-726F-419F-AD40-04A17E061C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84dbe9236444bbea46386bb75ab01f1c8fb58bee","datavalue":{"value":"finite variable hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973928$39D84613-E7BB-415F-9F5F-17E67CFD770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d787771077b189a2482cb7ef83e1ae8134851fb4","datavalue":{"value":"model-theoretic games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973928$8179FBA9-A8A3-4A1D-B761-A34C29B27D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973928$6950ABC8-C9B7-47D7-9DFD-8DB6F3BCA8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1973928$E7DA9A28-0E06-411F-9585-AFE7338D5B09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71028940640a6a2420f9b3620d27524571df3b5","datavalue":{"value":{"entity-type":"item","numeric-id":1314277,"id":"Q1314277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1973928$CD5B23FB-16D1-41FA-8ADB-04E5561B33AC","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":"Q1973928$99C3E00D-1BFB-414B-BFD8-E73A3925E7E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"406863044c9d074296d0736e0c2a8e2b51891e74","datavalue":{"value":"https://doi.org/10.1023/a:1008332604642","type":"string"},"datatype":"url"},"type":"statement","id":"Q1973928$A180BC93-90D5-4908-8925-6166E3D643B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d164defe5cbd9c4fb948756e1585eb8c2f6fde5","datavalue":{"value":"W1558384830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1973928$340209DE-C2D0-4460-813A-6C07E9B4DEB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0620462120711ce7c3084066e0157bfa61c35c","datavalue":{"value":{"entity-type":"item","numeric-id":4716050,"id":"Q4716050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30734ab1c7331bffb4164894ae97b98e8d671fcb","datavalue":{"value":{"amount":"+0.7830110788345337","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":"Q1973928$BD954677-98D2-4A72-8E69-F2CEB3C2FD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec4d61acb86aedec3b5b570e9e1ef8e0664dfc5","datavalue":{"value":{"entity-type":"item","numeric-id":5939955,"id":"Q5939955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d286d27ad3405d65694c72813059a5f74645e8","datavalue":{"value":{"amount":"+0.7128909230232239","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":"Q1973928$345388CA-39BE-4DB0-99EA-51709B75C3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cca6776578057f7168c6a9ee06b382c67f8b98e","datavalue":{"value":{"entity-type":"item","numeric-id":2776455,"id":"Q2776455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca99a5d5c10b9883b522c0a817bc4879f09434d","datavalue":{"value":{"amount":"+0.710066020488739","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":"Q1973928$2393E989-5E5E-48B2-93EA-893A93A54DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1973928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1973928"}}}}}