{"entities":{"Q4945201":{"pageid":6974783,"ns":120,"title":"Item:Q4945201","lastrevid":47471356,"modified":"2026-01-01T20:18:19Z","type":"item","id":"Q4945201","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424013"}},"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":"Q4945201$F83B7761-02A5-4A5D-9890-55EEE209B37C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e67fc8d68799fba3462020f39bb3641a54c873f","datavalue":{"value":"0942.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945201$2A5C7F17-2835-4F8E-83FE-B76EA9F8843F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6879ffcd1cdf9c40679b75379e38ab355a77e925","datavalue":{"value":{"entity-type":"item","numeric-id":2482442,"id":"Q2482442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945201$CA254774-4E7C-460B-9BAD-6A492D2C991E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945201$474ECC5D-4234-412C-85C8-B191179E5EB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945201$ED25FEC3-0843-438C-ADAE-61733F415F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945201$94D99C6C-3E3D-4A0F-B90C-2BD7725E4BCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54bb0b98bfcae678af4c0aceb1b20f8ffdec6ab8","datavalue":{"value":"1424013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945201$C28F4115-69B1-4FFF-B7EF-1463EBA5D481","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945201$3A1995A3-5AED-44D5-8B3A-F92A92C961D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945201$BE4837F6-7618-4F22-9C8C-DA38E4F597D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1be1ad989bffef6415f5f9a1f7c2eaf3da1d6e7","datavalue":{"value":"isomorphisms between typed sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945201$8C2D1BAB-6E08-4D3B-B2F9-0E74C62BADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945201$C4AFC7D0-0C99-4101-9825-67F4EB954A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ed79f4725dcdad0ab0a3720c5d8bb0d631ff94","datavalue":{"value":"shallow embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945201$DBD69BDD-46CE-45FF-A4EB-E5FD07D39ED5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945201$8E88FC52-518A-4F29-A1D3-F3AD1862E124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945201$594FD883-5881-4C37-BB8D-D8BBF84D40FB","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":"Q4945201$F5E08B34-E161-4C78-A23B-7E9D5066D080","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d619869ad0302d9b9fe0d70f22451dd60a21bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2782486,"id":"Q2782486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02db059fc2afa0ac29930a1924a3d3be54c3676b","datavalue":{"value":{"amount":"+0.7236844897270203","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":"Q4945201$178DE873-E22C-4AC2-87EC-2F0465CB8D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2740de1b98a7d9aa5a10e33e29be5347f5c1c062","datavalue":{"value":{"entity-type":"item","numeric-id":4375633,"id":"Q4375633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763af7956ad8ddad3b006b770dd48c551da747f3","datavalue":{"value":{"amount":"+0.690997302532196","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":"Q4945201$8E177169-2AEC-4D47-B71D-68518EBFF245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b00d5560d730f472d035bd4151fc8a264ae18c","datavalue":{"value":{"entity-type":"item","numeric-id":2176685,"id":"Q2176685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b686002dad5750368d17e002b0e7090e3fc322","datavalue":{"value":{"amount":"+0.6866573095321655","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":"Q4945201$D81F1ACF-5F8A-4ADC-9D64-D226C52834A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94cf8497da370d88320484aeda187fd5e68dfa6b","datavalue":{"value":{"entity-type":"item","numeric-id":3584061,"id":"Q3584061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2707f05be100b10afedcf33cf52439ecac258801","datavalue":{"value":{"amount":"+0.6864780187606812","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":"Q4945201$9F2DA02D-B533-4A39-935B-BFD688FC8B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f6828a02bb1974cc42923cc5d4b695ac187d5f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613409,"id":"Q3613409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"416aa9c5de0c2e767ec2ba4c91413e28f4ed29d5","datavalue":{"value":{"amount":"+0.6846337914466858","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":"Q4945201$EF025DF8-EF1B-462F-9411-51ABF7C1B8BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945201"}}}}}