{"entities":{"Q4487376":{"pageid":6516975,"ns":120,"title":"Item:Q4487376","lastrevid":47479834,"modified":"2026-01-01T20:49:30Z","type":"item","id":"Q4487376","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1463255"}},"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":"Q4487376$7FE2DC99-F758-44FA-AA6E-CFC70E7EB8F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcc9f0e7cab63c70a82ab0a7eabe63524969ca42","datavalue":{"value":"0945.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$4A10CFA8-6258-4116-A8DB-294F52688AC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a35120a6a454e23e128ae3826feb53523f2ec7d","datavalue":{"value":{"entity-type":"item","numeric-id":190318,"id":"Q190318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4487376$4EA8AE3A-CDD7-4B83-874C-606619BC7DF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-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":"Q4487376$275ABACE-C61A-4FBB-ABB7-417469E93A5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$A70AB2E3-9B05-4173-857A-952FACDA06A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$D0A28EF5-190F-4FA7-8E05-75937BA32F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$7EF4197F-8597-43D7-852D-DE01522A3DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$5625DBC1-CCC3-43E0-879A-D3C8147FAB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$6449ECF5-CFE2-40AF-BD37-CB90A30D6FF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06383c551b262028670f4138057b7570f6c4c60b","datavalue":{"value":"1463255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4487376$EC1A8ACC-672C-4B54-88B5-5066DF3E28F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a8307fdc624450ceaf8ee23b90c0a3ce47d4a2","datavalue":{"value":"subtheories of Heyting Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487376$A606C459-1CEA-4F5E-99C3-4D0D9C0E2973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487376$70342D93-57DE-46FC-AFC7-E62CEFE4179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c172212d4c746ac2df16e3564f1b2a2989ed1c4f","datavalue":{"value":"\\(n\\)-elementary extension model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4487376$4BD33877-AB6E-421D-80E2-9ACB6D307597","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":"Q4487376$4E2DE827-66F8-44A3-B620-28EC38192746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4014df4a3f35ef037e615e9db8c782a6a70d3784","datavalue":{"value":{"entity-type":"item","numeric-id":5479025,"id":"Q5479025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba443c8f4bd4473e5e807ea508e209d8385aa09","datavalue":{"value":{"amount":"+0.8781543374061584","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":"Q4487376$AC8A329C-1796-4D05-951C-AF83553EBE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e5888ff601c1df31ca63c908e16eabf415d251","datavalue":{"value":{"entity-type":"item","numeric-id":4664256,"id":"Q4664256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5d9de6090630b5fad5133851c71795639feeed","datavalue":{"value":{"amount":"+0.812324047088623","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":"Q4487376$4BB57D44-3752-4E4B-B621-2B328B5E4615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cceecc08ba6574fd34d6e9805e1e70f4e0b48f25","datavalue":{"value":{"entity-type":"item","numeric-id":4487300,"id":"Q4487300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55d949ac15f28ee66e93235f42154d604587e2a","datavalue":{"value":{"amount":"+0.7737739682197571","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":"Q4487376$CD86A976-7392-46FD-9113-6F2F1C33EB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b12eb0fb3501952deefc2ba7e19d5d80ee1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1412839,"id":"Q1412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e038983850ffb517f7479483d8b65846babda3cb","datavalue":{"value":{"amount":"+0.7693266272544861","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":"Q4487376$E76C7CCF-500C-4923-9C9B-BFDAAFFF373C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4611ebba9c26ca7b6a4d796439e228b834dd1d","datavalue":{"value":{"entity-type":"item","numeric-id":4493072,"id":"Q4493072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0fcbff84f58618bf029dbced62ee4f14a4b2011","datavalue":{"value":{"amount":"+0.7644100785255432","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":"Q4487376$A448E157-0829-4D16-A437-9F6F4F154623","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4487376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4487376"}}}}}