{"entities":{"Q5096211":{"pageid":7125787,"ns":120,"title":"Item:Q5096211","lastrevid":94266905,"modified":"2026-06-05T06:23:03Z","type":"item","id":"Q5096211","labels":{"en":{"language":"en","value":"Monotone recursive definition of predicates and its realizability interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571994"}},"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":"Q5096211$3288EB8A-84AB-4597-B1E7-0588C02450C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da303774078112a641c9b42890ad999dce2e9c27","datavalue":{"value":{"text":"Monotone recursive definition of predicates and its realizability interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096211$3A0FB7BB-85C4-40D0-8D8C-BD17ECE88FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f98c88d57278acbeb9c938aa9ce306ae389a50b","datavalue":{"value":"1493.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096211$D887D245-BEBC-40F2-BD33-0640F171CAFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b6babf3985848a7d1eef92cbb7211728c71e9eb","datavalue":{"value":"10.1007/3-540-54415-1_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096211$93D7A8CA-F71F-444A-A31E-5A24E2B85E4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$330892CA-1D28-42A1-B07E-F0E65786F144","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$6A4467DB-E889-4A1E-86F7-3476FEDD876F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096211$3213543F-614F-4C2E-BB2D-DFDA5142F636","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096211$9932EAFD-A094-4867-8C6D-4EABBAC95F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096211$88033B0C-95B3-4FDD-9688-483EC8BA775C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fbfe6ec2672b7c2aa89eecf6f9e89687bb00989","datavalue":{"value":"7571994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096211$32AD685B-DEAA-4E01-9EF4-4AA8F6F596C4","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":"Q5096211$BE0EF88A-E7BC-4A81-9EB8-8B572D31609E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b8bfcbf67ce1f0bda17d63f4c36b0f4cb44132f","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096211$23D9C0E0-2A37-44B5-A02E-A18C26E4AE6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"707ca8b18bccdd02071d20699258b6d9ba949683","datavalue":{"value":"W1486186677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096211$79EC95DA-A725-45B6-9EEF-15BB856634A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$68D95C34-94E1-455E-9462-975EEA9B13F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a105535a0b4cf840366405592d4900ef990604f","datavalue":{"value":{"entity-type":"item","numeric-id":3882452,"id":"Q3882452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$24255B90-91EF-4421-9553-CE1AE44482CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73814e6b9a402cff7c35d98076c7b11e86d6c931","datavalue":{"value":{"entity-type":"item","numeric-id":1331920,"id":"Q1331920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$0DA56BA9-4914-4AB6-B45E-7CC7142717B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f7fce03df140efe1bf6ee86c2e7250270ba00","datavalue":{"value":{"entity-type":"item","numeric-id":5887516,"id":"Q5887516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$FE7C5B14-CEB3-4F4D-9FC7-D9110B0D5D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947f377ca9b6bb3fda91c2ab02f06c0ede20fc8a","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096211$FA954CDC-C9F6-41FF-A004-A58529DA78CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bebb7b78ec98a09784f4ed322a7578ba0e41aabf","datavalue":{"value":{"entity-type":"item","numeric-id":4304621,"id":"Q4304621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa276cf1502ada59cbb968f42c5ef643c9faf440","datavalue":{"value":{"amount":"+0.90496117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$419E38F3-A567-48CD-B71B-6D9FA9212696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0dc0ae0a17af5f31dd5eef6fff35b1d5a4f530","datavalue":{"value":{"entity-type":"item","numeric-id":2631880,"id":"Q2631880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fa5081fb773fabc186a08d923e31670b703ff8","datavalue":{"value":{"amount":"+0.8789452","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$CD9147F8-AE4A-4921-BC8C-1FE9511FE0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec2f311e3e92cfd3aa10a05c7f5e68ec516055b","datavalue":{"value":{"entity-type":"item","numeric-id":3586024,"id":"Q3586024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41650e8bde29e4741514df8dad7998a333418e68","datavalue":{"value":{"amount":"+0.8715311","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$3687832C-0FB0-4318-B998-FD8D986EE5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534b3ffe87f6d79352adc804d475cb2ad29d2e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3600566,"id":"Q3600566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59790ab03edfdda042827c6e48d8efda31e8738c","datavalue":{"value":{"amount":"+0.8638303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$6B19E10E-A2BC-432F-8916-2AA74D981CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a12a6bb3df40bd72b73bfe003d9bfd10f327548","datavalue":{"value":{"entity-type":"item","numeric-id":4879904,"id":"Q4879904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4e9234f8fadd21603b6b7457f98ca795cd985d","datavalue":{"value":{"amount":"+0.8631293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$644A6EDE-DECA-4D8A-BC3B-631EAFEC0498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eefabe3b9392c3ab382e2aee5b28966470e1dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1115865,"id":"Q1115865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a37358ac197568759dad4e6f6a4b36d936a0b5","datavalue":{"value":{"amount":"+0.85630983","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$2BAEE2EB-F7CA-45C2-93A8-21E21CA726E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f455d0b9f56d546a385e00ec74e6c2a3da937d","datavalue":{"value":{"entity-type":"item","numeric-id":4474839,"id":"Q4474839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15fb0750937f1c60b8a34854662e901b3269c25","datavalue":{"value":{"amount":"+0.85485744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$DA48DDA7-BF92-43E2-BD5F-C05FB5E7EAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d4cffd9eb3fe531c710593ad0d299840474626","datavalue":{"value":{"entity-type":"item","numeric-id":4657011,"id":"Q4657011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4f1051e857d32173a3313f6a76748c3a15067e","datavalue":{"value":{"amount":"+0.8541335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$400E9291-E3E4-44A1-A42F-1F6BC67EFE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627ab1dd3e7570ac54a264d4a4d37f5a5ae231aa","datavalue":{"value":{"entity-type":"item","numeric-id":3305629,"id":"Q3305629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30e9ee571ef772040a0cf93bce85c88ebe4c691","datavalue":{"value":{"amount":"+0.85356855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096211$EAC90A10-9A92-4E4F-873C-CB45163F6E42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotone recursive definition of predicates and its realizability interpretation","badges":[]}}}}}