{"entities":{"Q4716050":{"pageid":6745627,"ns":120,"title":"Item:Q4716050","lastrevid":98093399,"modified":"2026-06-05T16:27:14Z","type":"item","id":"Q4716050","labels":{"en":{"language":"en","value":"Counting variables in a dynamic setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 947548"}},"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":"Q4716050$74CAD0AB-EBCE-41DF-A0A8-F71DBD1D0D0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e6e22a88424af9a3ceb90b91ff71d642462427b","datavalue":{"value":{"text":"Counting variables in a dynamic setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4716050$88AB3822-11F6-4713-8DA8-B5060FFEC25B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdc270dd0a1c7e4b63da66429840781b8c050a86","datavalue":{"value":"0857.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$332DAE12-5B02-4F38-912C-E8FB8D614793","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7890c5b29fe25a1905e7d0e0fe1ea9e08cfdf763","datavalue":{"value":{"entity-type":"item","numeric-id":1288170,"id":"Q1288170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4716050$83C6F348-5D19-4F2B-9DE7-471ECFA0B929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bfe9fec7bf39d1f5b86bb6b5e1563bdcdc2db2e","datavalue":{"value":{"entity-type":"item","numeric-id":1815431,"id":"Q1815431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4716050$CE473C92-BF6F-4F0A-A35C-8B183A57F5FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4716050$1455FE50-AA42-4B58-B775-A12387E28E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae73abb817f171238c250b6d5c205f2870aa6200","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26472","type":"string"},"datatype":"url"},"type":"statement","id":"Q4716050$F9532F70-81A9-4EFD-A542-066615B41ABC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$0A3D675F-A046-427A-BE20-10589EB23AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$0E478E5E-A5E3-4EAB-BACF-F3643A397ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$A9E57209-BA23-4267-A5BE-2B0B3D3CD2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$7DC40DE9-FC8B-4DB1-8B4E-2F3683835744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$98EA254B-3504-4A33-A877-806A1CAB1198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"802ad4ef6aaefc26f6af44fd6a24e82a4e2c978a","datavalue":{"value":"947548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$738C9BB8-5789-4D7A-B9B7-8AB7258DC674","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$DA2BD391-DE3C-4CEC-B1B3-B8542CAAD7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d775e88da4ba9bca0929d16d52f9e65f70b26c4","datavalue":{"value":"predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$8CC8BBAF-BEF8-4EB0-959B-82D9EB3BEE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4da31ebf1e022d627541f54d3832df8b705d0b8","datavalue":{"value":"semantics of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$DD32488F-F087-434D-9C59-2649D9197538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ca88756b848702e213793588c4812d6f2cabd4","datavalue":{"value":"stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$4EF40977-C71A-46FB-9EA5-30363CE23345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f75ba2c5d76c68763751ecfc83a18e743176f7","datavalue":{"value":"procedural treatment of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$6210AFBF-EB9B-4541-B44A-20ED5274DD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4d50e794a565cce0fdf5509ee5649277696ba5","datavalue":{"value":"finite variable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$18F89E7A-BC54-482F-B135-BF256E05CB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ace55b5608d7cc5049ad2c262bf76a4ac797fd","datavalue":{"value":"dynamic perspective","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$F3C35647-581B-417A-8254-DA39289D9C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad2f6bccdee3f12ee6654b3c00c162504b6bcd0","datavalue":{"value":"dynamic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4716050$FDA05943-77B0-4EAD-A72B-D5782AB9258E","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":"Q4716050$50211D40-1C28-43C2-9B94-31C82140D61D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c69920a68628c1da2d7d3317e264cc15fad1ffa","datavalue":{"value":"W2135160805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$891CBC62-CFFF-44A1-8AD9-430F63B6C804","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6740730605aa282b4ea308d096ab8f6e28c781a4","datavalue":{"value":"10.1093/LOGCOM/6.5.725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4716050$2D3EB857-03AA-420A-848A-110DCE534E4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4716050$4EE1D0C4-0F5C-4A4C-B09F-0D1FDFC4BF47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00a67186749c46747dc670d0de3c45c7c641050","datavalue":{"value":{"entity-type":"item","numeric-id":1973928,"id":"Q1973928"},"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":"Q4716050$15849738-E082-46CD-88EF-12E1322303D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ddbe805ffc8a376016efeae68ecabab86a4488","datavalue":{"value":{"entity-type":"item","numeric-id":5095651,"id":"Q5095651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c965ba506b2cfa86e9f3d9962608e3542b34f2","datavalue":{"value":{"amount":"+0.7427840232849121","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":"Q4716050$69FAF71F-403F-4C3C-84CA-5CF6265966AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bafe107dce66c09bd1ca102f830354093fd765f","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472d8cfe183e435f4d6eb438e3c328c510311f6b","datavalue":{"value":{"amount":"+0.7313557267189026","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":"Q4716050$0227E704-EF81-421D-810C-3DAA0C4BC0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9aeb22d3a4c08b436d0eda3e52c7a1ddc9b4a69","datavalue":{"value":{"entity-type":"item","numeric-id":2365759,"id":"Q2365759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb8326e6e7eef42a4639677ee4eb774d718fd2a","datavalue":{"value":{"amount":"+0.7304769158363342","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":"Q4716050$701CE1F7-6B63-454A-BB0D-BEF19BD5BE1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting variables in a dynamic setting","badges":[]}}}}}