{"entities":{"Q4659577":{"pageid":6689158,"ns":120,"title":"Item:Q4659577","lastrevid":41797098,"modified":"2025-05-08T11:16:28Z","type":"item","id":"Q4659577","labels":{"en":{"language":"en","value":"Axiomatization of a Denotational Semantics for First-order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2147922"}},"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":"Q4659577$760195A2-83BB-401B-A728-DF9D9823AEB1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"159ff51b6aae4d7383a3fb3bd1baa556d726197f","datavalue":{"value":{"text":"Axiomatization of a Denotational Semantics for First-order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4659577$1DB19368-EFBF-4B80-BC7D-304FD6084999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ba1e8a4af77314cf58adde72fa32f63f189a72","datavalue":{"value":"1062.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$66C43FF1-B3B2-4387-A262-5B49CB6BCC99","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":"Q4659577$4F228B3E-3BB9-488D-9C3E-2526E4344E00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4659577$CEF5ECAD-4890-41DA-B651-F05830835C7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$08BC2204-F93D-489F-AA5F-5525A7BAFFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$EB8AB82F-B19C-4994-8D23-8DF403B33279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$328BECEC-97D7-4092-9EAA-0998085042B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$988F1D6B-D249-41D9-BE33-87A078E504CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a5cc17c695d09a7fb544b0ff70ec4c5bf72fcea","datavalue":{"value":"2147922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$DA48ACE9-F2E7-4F41-A1C1-8EBAE6AD6A2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659577$9E599D79-FC3F-42BE-909B-E9DDEFCF46B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659577$B8017F79-2E68-43D0-A299-D57FB7852F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659577$AFD7F75B-A0DD-4C67-8E6B-70BE6FA02716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659577$2D27F53F-A618-4264-9169-5712BEA3D841","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":"Q4659577$E5894926-C061-46E1-9AC2-A4B6A6594BDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a112b7323b46d36af43d0a515f04f78991e50734","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.4.277","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659577$62E349F7-AF62-4E41-BFEE-F8EEE678447A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"57573fa476a5ba783f8a74bddd188c3ff252d3d6","datavalue":{"value":"W1978034886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$C4FDE501-FBC0-4EDD-9839-882DD4B6888A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcb986a7b45bdadb762c732b268f6e01f2c58bee","datavalue":{"value":"10.1093/JIGPAL/12.4.277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659577$A60AE66F-B207-4245-A968-4F7EEF48B69B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659577$707A7B10-F661-444C-B58D-7B39B2DC8004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6e61f398491d6ca0d2a06580bb7c9301198697","datavalue":{"value":{"entity-type":"item","numeric-id":2767044,"id":"Q2767044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd597025a2d3a88b272ffb9fc7ef6a1e23b121d","datavalue":{"value":{"amount":"+0.97497773","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":"Q4659577$ACA502A8-8AC6-4F20-967A-8E218097EDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc125fcac32cf997c003b1356784407272c3d26","datavalue":{"value":{"entity-type":"item","numeric-id":5206956,"id":"Q5206956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a724b835c756a6eb14c5aee117f53f01fa3520f1","datavalue":{"value":{"amount":"+0.9200734","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":"Q4659577$C6C61CA9-0130-4E9C-8014-E2E91EC9FFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750f330f3be8a4d7fe16145ac4962de46566331b","datavalue":{"value":{"entity-type":"item","numeric-id":3731582,"id":"Q3731582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657ab94b5080d92b700b7bbee574d4ddc117a3a9","datavalue":{"value":{"amount":"+0.9136324","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":"Q4659577$F4E4511F-EEA9-4A10-BDA1-B2E44B99E99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f00829dfafc58ede0a68f7ec8e9ced74bb9068","datavalue":{"value":{"entity-type":"item","numeric-id":5897361,"id":"Q5897361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b418401e8e7fe9df066be71d5ae71212f36b5ff2","datavalue":{"value":{"amount":"+0.90829927","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":"Q4659577$CF131A18-1BB1-4498-AA76-C555E5003FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3ee318bf33ea386c29f2b82730213cebbdf637","datavalue":{"value":{"entity-type":"item","numeric-id":388209,"id":"Q388209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377323ce70451ed0c2665564df82fa52b711ed38","datavalue":{"value":{"amount":"+0.8991637","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":"Q4659577$75314EC8-DA11-4E0E-BE96-750E9E10B72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1369a38a4016fd8a9b3687c54c2d02c5477f25b6","datavalue":{"value":{"entity-type":"item","numeric-id":3782747,"id":"Q3782747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc651a28cd915b3d5691294d118f65d8f35caf0","datavalue":{"value":{"amount":"+0.898227","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":"Q4659577$445AFE42-7C38-4C80-A01B-1B8CC0B95B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa66233be7b536a0cc89edb1d94ac9ef6944770","datavalue":{"value":{"entity-type":"item","numeric-id":5096190,"id":"Q5096190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de553b9311f724fdd2d9dff0ba179b888746d6a","datavalue":{"value":{"amount":"+0.8977137","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":"Q4659577$09A68B7F-D4A4-4DE9-B361-ADC3DA02C08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a637999b132d561731e438d9c302ae373ac21d36","datavalue":{"value":{"entity-type":"item","numeric-id":1190508,"id":"Q1190508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278183e78c41c47818e2d53fb874d2ce25fc9a4a","datavalue":{"value":{"amount":"+0.897411","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":"Q4659577$EA405CEA-D6E1-4176-9648-A0A3CBE3E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a255eba1b5310424e1461d89c0c4f0e34067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5014056,"id":"Q5014056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58f2a666b19c5718faa90251d129f7f09db324a","datavalue":{"value":{"amount":"+0.8964384","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":"Q4659577$ABD30D9E-E08C-4CD6-B369-FF70D1539F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ea0ff143d9710212ac89851467f01b44feda80","datavalue":{"value":{"entity-type":"item","numeric-id":2767055,"id":"Q2767055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b29bb9c2d1ae04076b317fcd3741543190bf1ae6","datavalue":{"value":{"amount":"+0.890774","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":"Q4659577$3DDFF090-BAE2-4F15-96D2-08099CC97137","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4659577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4659577"}}}}}