{"entities":{"Q3086782":{"pageid":3097497,"ns":120,"title":"Item:Q3086782","lastrevid":51217367,"modified":"2026-01-17T07:18:31Z","type":"item","id":"Q3086782","labels":{"en":{"language":"en","value":"Skolemization in simple type theory: the logical and the theoretical points of view"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872262"}},"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":"Q3086782$46D1D030-669A-482B-A98B-F3D79B17963B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5d7623a018080adab88edd777ccea65e1dbf906","datavalue":{"value":"1226.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086782$B016A047-D57F-4B0F-8154-F14C4390933B","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":"Q3086782$DC4CF8EA-F610-4375-B9CB-9A255903DA1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086782$71A0C4FF-E55C-4E30-BA29-401004102E99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086782$03EF53AD-D0BC-4DCB-9275-9ED8FC8C1D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086782$0572486F-DD64-4595-897E-5D74CA2DFB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56e34555f92ff61acda191c453eaa664d415a8ee","datavalue":{"value":"5872262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086782$2248561B-452B-41A0-A4E9-366088BBC226","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44bab440f7b1656cf5dc653601aa351bc8632711","datavalue":{"value":"Skolem theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086782$14EE0FC6-3CC4-42FF-AF89-2C37D9147007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086782$E3C88EF8-09CA-486C-BB1D-8779456BDF7C","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":"Q3086782$27E49989-5073-4821-BC72-BB7A549C1C43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09eb6fe776137945b23aba0da07e6ea93d9b24c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617374,"id":"Q3617374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2db68be6f6d3c59cc21e72f424ee5f130f1c8f18","datavalue":{"value":{"amount":"+0.7419199347496033","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":"Q3086782$E19CCFAB-363E-4185-B949-41DAB9359BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ec75e220191ce9be193662d16c95db9d8a74a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7030ca363e9f1c00b76209fe3a8a3e82b7c35743","datavalue":{"value":{"amount":"+0.7345705032348633","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":"Q3086782$23A36D7D-22EB-4DA1-AD83-9FB62AF1D474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cadeb0cbdbcea2206210b92406402fcf304fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2702564,"id":"Q2702564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2a0bdc6bbc5a2f33bcb8fffa034e53f22c22cb3","datavalue":{"value":{"amount":"+0.7282161712646484","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":"Q3086782$369CA5BB-48F0-41A0-9997-61A4C9DA8211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e802f897a1490f5dd1713c187dddeba16cac801","datavalue":{"value":{"entity-type":"item","numeric-id":3460036,"id":"Q3460036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd53fbdaec76a9fb1ecb7de190b1cd46dc6c256d","datavalue":{"value":{"amount":"+0.7266553640365601","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":"Q3086782$236C73D1-6FC4-41C0-B149-5CB94EEA33B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c05ff52b80d6dbfd5dc36ac59d953a7f881a330","datavalue":{"value":{"entity-type":"item","numeric-id":4304753,"id":"Q4304753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cc0d6f52cefc1ff918223703395c4b5936ec02","datavalue":{"value":{"amount":"+0.7258417010307312","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":"Q3086782$C73EDFBA-7C3B-4A7E-B4AD-C7AB66AFFF61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086782"}}}}}