{"entities":{"Q4246948":{"pageid":6276549,"ns":120,"title":"Item:Q4246948","lastrevid":46833543,"modified":"2025-12-25T16:45:53Z","type":"item","id":"Q4246948","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301735"}},"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":"Q4246948$69363F4A-455A-4221-B208-D3EF3E41CFAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05523b7b8b1b780b8c3f1f58b9caf1bce6efd0dc","datavalue":{"value":"0927.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246948$A16D2D6B-0E89-46E9-8C83-6224C2709232","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a287afb8992ba707e831c66a8866a02b52d8df2","datavalue":{"value":{"entity-type":"item","numeric-id":436900,"id":"Q436900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246948$3D4F21A1-D4CD-497C-8B47-9535DE0AAB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246948$194D6B86-F2E4-40F1-B363-67A22528E1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b243572f25465f3ae7a32f2d3b06ae2073b8520","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246948$1C9C53FC-6E7E-4B65-AD1B-2929575B275A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246948$F7A802FE-69C9-4083-958B-978D0E91427F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246948$24E16662-FFDF-4003-8CE8-6B933C59BCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246948$4D24B83F-6067-4E25-853A-47C69E59F8C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd02010b47bc9988149096658167384a48c2fec0","datavalue":{"value":"1301735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246948$0BAEA842-EBEE-4432-82E3-78543F3D8860","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7165fec9115f05c93be2e6750db8f2bb02167cc","datavalue":{"value":"coercive subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246948$DA3BB80D-7313-4785-B1BC-16175429E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14fa2431f548747e9090a7f2bc02eb013388a55e","datavalue":{"value":"subset relationships","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246948$B1AFB40D-6E04-466B-8C40-02031D305742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246948$4CCEB349-6804-4949-AC66-BEA48F58737B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03903f8790443ba4f08ad7ebf017273afdab6756","datavalue":{"value":"proof-theoretic and computational properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246948$3D8B547F-E354-42BC-B953-253935BF6AFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246948$36CAC25F-F4E4-4930-8730-E3C739262F03","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":"Q4246948$0A6EC2E9-289A-435F-B9A0-AF54052568DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82af697772c80eb1a8aa6c5ab43f2419046ca8c8","datavalue":{"value":{"amount":"+0.8231141567230225","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":"Q4246948$1684C3CB-D359-46C3-8E31-56A790F7B5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b715475a5e4b33503e21e86d37cb680ba74d1b5d","datavalue":{"value":{"entity-type":"item","numeric-id":4238487,"id":"Q4238487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1c2fe97a9ff392dd5baf2a93d26a72303d0026","datavalue":{"value":{"amount":"+0.8183276057243347","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":"Q4246948$FC034F50-42F8-4BDB-B50A-04FE66E6B1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f29371f29340ab7599f22a7c91c5319d3120fea","datavalue":{"value":{"entity-type":"item","numeric-id":2996166,"id":"Q2996166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a113076ce3d6f24649983e35e772dececb5d961","datavalue":{"value":{"amount":"+0.8136941194534302","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":"Q4246948$43AEF426-BCFB-44FF-B0BE-68A6E9DA6F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648908b5d41c6c11916370c6ee58e60f77eb1f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1951591,"id":"Q1951591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb31ebd7bf62e54c9d9ed8b64a16a92cdad3b4b9","datavalue":{"value":{"amount":"+0.8047955632209778","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":"Q4246948$C61A99B9-0CAC-4730-8295-42674726C543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246948"}}}}}