{"entities":{"Q3617374":{"pageid":5647280,"ns":120,"title":"Item:Q3617374","lastrevid":50610158,"modified":"2026-01-14T13:41:53Z","type":"item","id":"Q3617374","labels":{"en":{"language":"en","value":"On Skolemization in constructive theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5531011"}},"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":"Q3617374$34744F81-EA05-4AEA-ACDC-EC99642AC184","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4f4423bdce758071244d3c2ab4440fd10f8d403","datavalue":{"value":{"text":"On Skolemization in constructive theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617374$0E2418E9-5166-4E01-9749-D48FDC657574","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a9ff753c819efcc56ef026d1410ccefa45f0aa4","datavalue":{"value":"1171.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$96CF0D15-F88D-4C4A-BA69-A1D8E1C9EBEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$FAC177B7-7E64-4C46-9AF7-92F7899B305F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$30E8455C-E55B-4DBF-8D91-6F30B2B4AA53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$CCC815C4-82EA-4B7C-B3CD-68976EA3A178","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f048b9b8a41b82f9765bf157ba4b1fd3be60b72","datavalue":{"value":{"time":"+2009-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":"Q3617374$71269D1B-B2B8-465A-A822-6EACCB3D8A17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eae05826e883c367ab39b66e8ad516569956154d","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1005.5856","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617374$D5DA438B-E170-4D39-8AA3-0A1A30DF1231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$BBA98310-C558-4BEE-9096-2DD6918FAA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$214C16C9-B8B3-4984-99CB-B591C0DD1452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$C407BFC1-BDD6-4BED-8CFF-91E70EE2C643","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0867cf2cf5183c9f08caacd7fea8de4385991b9","datavalue":{"value":"5531011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$04E9739C-F37C-4935-9965-52EC517DF81A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d69fdc9006d3b488ef08b15b445a185c6b65ddf3","datavalue":{"value":"orderization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$CF4B2B50-7DD7-48D3-8EBA-EDB34AB733FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154509dfe9d0361ec19c7f3580aa96c077b28aec","datavalue":{"value":"constructive Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$F1BCD968-05E3-4AFB-8FA1-C07946DDDDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2eb1816ea3fe6f1064a0a5808e172cba4fa3b31","datavalue":{"value":"Herbrand expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$20E27690-6CEF-4CF7-B764-D8152E3E9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da855445b59cae389fca494b963c3ccb8b3796aa","datavalue":{"value":"intuitionistic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$57C3D615-6F74-4B60-8BD2-EFE3BF6B4B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$3CC8D85F-ED92-4A5D-8F25-F59872129454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a698c902b0b302313f39d985bb7e7d01e1f795","datavalue":{"value":"constructive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$FAF86A58-1D56-4B09-9F49-52A3E5589C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3617374$26BCEA66-971E-4667-9A78-B1EA747EA008","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":"Q3617374$210A12EC-315D-42C9-86B6-CD5C4A021722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f68f41a8f5282c3c5a8260ddd0e4cebd859418f","datavalue":{"value":"W3023954237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$A1DC6063-6F72-4A97-93AD-6CD106DCC6FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$958E8F03-650D-46DB-9176-61FEB740E346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5022617428ef26e116124ed59330ee04428a997","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$448190FE-F056-4C9E-A706-DC743B4BFC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd3428703acbd3fff7a999ea627c80fafc809de","datavalue":{"value":{"entity-type":"item","numeric-id":3060302,"id":"Q3060302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$77E8DE6F-F7AD-4B46-B5D0-F81A775ADF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$64D646D6-C247-4AAC-9983-BB511343AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617374$A58C5B96-14E6-4CB5-9ECE-EBC1E6C16D08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeea51e5ed76fec51a0131d8dfcd838e7556d4f1","datavalue":{"value":"10.2178/JSL/1230396760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617374$F2FD1D86-58B4-431F-8E0B-1D46CD613833","rank":"normal"}],"P1643":[{"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":"f41d8e0c2aa48497bb018d9f9e8c78eb4702a446","datavalue":{"value":{"amount":"+0.8469719886779785","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":"Q3617374$2D92284D-601C-4D89-AF8B-969548E88404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa1f42894661bf99edd1c77fed2191fcf0932bc","datavalue":{"value":{"entity-type":"item","numeric-id":5579477,"id":"Q5579477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9393fb976091f3b40161a9c780e234bc6cb5c3","datavalue":{"value":{"amount":"+0.8324384093284607","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":"Q3617374$8DB86550-7D06-49B3-A2D2-F339F897AD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412df037011f4adba356fedd08fedbd9939fa313","datavalue":{"value":{"entity-type":"item","numeric-id":638487,"id":"Q638487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cf8e15e0f9b303e5c40a6cd28de57c81c95cab","datavalue":{"value":{"amount":"+0.8259534239768982","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":"Q3617374$9E789A3D-D185-4229-A375-F9696D5F1232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0a0ed4675ffa4d7d5b41b3419efa25f310b62d","datavalue":{"value":{"entity-type":"item","numeric-id":4644539,"id":"Q4644539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e752a1c96eb2147ef2dec09c423d40252e936560","datavalue":{"value":{"amount":"+0.7890803217887878","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":"Q3617374$13F73862-1F50-41BE-89D3-C2E629751917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2535b1517c541c95e14c717ef417610842c24782","datavalue":{"value":{"entity-type":"item","numeric-id":3094144,"id":"Q3094144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50dcdecafc8f9d1f935987152f725505f9a9e73a","datavalue":{"value":{"amount":"+0.7855105400085449","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":"Q3617374$839BCD71-B6C7-40D3-B159-66F9E73BD12B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3617374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3617374"}}}}}