{"entities":{"Q4938612":{"pageid":6968194,"ns":120,"title":"Item:Q4938612","lastrevid":47446597,"modified":"2026-01-01T18:53:05Z","type":"item","id":"Q4938612","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405633"}},"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":"Q4938612$0C646A79-7DB3-4A8C-9502-4483EC44E741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"634c547ae8e9ee54faf668fb9cf224eb2bd22e13","datavalue":{"value":"0944.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938612$EF072DCE-70EC-4479-AFB1-442494C4036B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938612$B20E8458-FAEA-429C-938C-5A44DE7BD8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938612$A0C4623F-3D88-465D-ACD0-FB41B2AF7876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938612$37A7E54F-A55D-4C24-A0D9-EE629637EA3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4602bfe2ce2cb25d86312a0cba8d02883ac98d9b","datavalue":{"value":{"time":"+2000-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938612$4A6F5F6D-6B33-4F1F-B3DA-A21F0E5E8FFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938612$F7A33A66-813D-443C-8955-5CC69A4063C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938612$9181EC3F-571F-4D0D-8D05-A730DCF23B4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2a04eab7db6dc63fe5623dba8f71b4cca8f1b8","datavalue":{"value":"1405633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938612$948299EB-1C93-454A-8583-5A60F7F15D75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103bbabae59d1943018b01d1ca6c23222d65f45d","datavalue":{"value":"first-order presentation of higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938612$46892582-005D-4058-874F-10C4C8ECA63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938612$66599C05-3529-41BB-9C44-0A8AB2AEBC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938612$39456CA0-4430-4831-8338-F5C8198E3B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3b739adea7cc6595553157e408987428d6e06a8","datavalue":{"value":"higher-order resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938612$624137E8-8F5A-4245-8D05-E79F0C7DA814","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":"Q4938612$BAA73AED-0FAA-4748-BB42-074B53842056","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2077f4ad9245fc0d46fa3a52024b9f53a20a69","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e3c18aa98a9daf979f05390e13ec3b23cfb354","datavalue":{"value":{"amount":"+0.9745723009109496","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":"Q4938612$A528738C-49D0-4DB8-8F69-E167A12245F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7723f5c3c6fc6b0a21079c4bd63fa1db7bdd52a2","datavalue":{"value":{"entity-type":"item","numeric-id":3007266,"id":"Q3007266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e4b2da81f66c8cb9ded8ec56093dbeebe7bb37","datavalue":{"value":{"amount":"+0.7616112232208252","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":"Q4938612$E8C06C49-C9CF-49CE-B490-57281E12AE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0582d7596e9bbdb5fb6ba7c7cbe2efbb823f4ba5","datavalue":{"value":{"amount":"+0.7514667510986328","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":"Q4938612$44B1E80C-CDFD-479A-9FFE-7DD1BE6B06F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055dc719e4d037845f4b18d4cde0262627a53672","datavalue":{"value":{"entity-type":"item","numeric-id":4707736,"id":"Q4707736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4e215360a15b55edf915546b968742bcfdd0d3","datavalue":{"value":{"amount":"+0.7499409317970276","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":"Q4938612$CF7C339A-973E-4724-9B3F-F7E01FC8E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71118114fbb65a0d0338d16dfefbe08e60cecc80","datavalue":{"value":{"entity-type":"item","numeric-id":935562,"id":"Q935562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a534f7d6186afb1e0deab05a9b3ab672fd54254","datavalue":{"value":{"amount":"+0.7496224641799927","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":"Q4938612$F94EE520-C8C4-4F0B-A11A-6C57549B861C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938612"}}}}}