{"entities":{"Q3458159":{"pageid":5237559,"ns":120,"title":"Item:Q3458159","lastrevid":52410893,"modified":"2026-01-22T14:21:38Z","type":"item","id":"Q3458159","labels":{"en":{"language":"en","value":"Semantic restrictions over second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6518027"}},"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":"Q3458159$38E3805A-F3DF-41DC-AF89-F2EBF3CD03E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a2071b574ce274252d3222a2d53ee0f5276f2eb","datavalue":{"value":{"text":"Semantic Restrictions over Second-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3458159$C269222D-A866-4EE5-9666-F6D722CB7F8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19dc64af786633146595b245234215a8c3947a37","datavalue":{"value":"1452.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$3361F5B6-CEE8-4D46-B398-397B4AA43F40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ec4abce6010f2fd5e8b4e7987bef8f8c86755ed","datavalue":{"value":"10.1007/978-3-642-36008-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$B2D6DC1E-980C-4D8D-9F92-F04400011918","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$F2E96251-6234-4693-A584-009C56D43B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2f36aed3feb8a1267c72c5ee6cd3d734460033","datavalue":{"value":{"entity-type":"item","numeric-id":3224002,"id":"Q3224002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$1F823CF4-1F66-44FD-B213-C658AB49FA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$7A19A34A-0845-4FBB-93E8-2F390FE84D6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"71300883126201e7cf968d8bd8aa443dab6814b9","datavalue":{"value":{"entity-type":"item","numeric-id":3092319,"id":"Q3092319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$B1106970-C87E-4F87-BF3F-7E9E3A2F31B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55afd84e834d230d3852aaa2c2d1c30ae006c32","datavalue":{"value":{"time":"+2015-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3458159$0CCEA372-F4E1-48DE-A306-857942BDB4C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$2359C31A-1A71-4C92-B6AC-C83FBD93E548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$7C728CEC-DD41-4211-84E8-CABA924995A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$2450B796-5A45-4B58-AAE7-BEE8DF897921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$22D7B4E5-08E2-457C-B747-F4E459C6CC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$21AEA9B1-2633-44FA-85C1-D9B959C1B20C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d167bb5ce8e320e0b245bf2577b65cda6a09b3d1","datavalue":{"value":"6518027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$73888630-883C-4D83-B6AC-6E533A8489BE","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":"Q3458159$C64618B2-DA47-4A31-BA5E-729F8FB3C651","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d581318ffd89a5b7a1040b294c02b22f2f2be81","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36008-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3458159$A699A70F-3465-4E70-8F89-346329BFE029","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5eacc355b0952cb0928e807cbf9137d0c3f6121","datavalue":{"value":"W1258136410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3458159$3BBFD1A2-A9EB-4A27-A5DE-7EC8011654CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$DAB57FBB-BB26-4E1E-BF4A-B898B74D6AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255c2606886bf11500e13155ee5700d10ee17afa","datavalue":{"value":{"entity-type":"item","numeric-id":4371697,"id":"Q4371697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$A11E0C4C-177F-4CED-ACC0-4C57DB2FE2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bccc04170b12cdfbc782f77a5d15185542badb7","datavalue":{"value":{"entity-type":"item","numeric-id":4143287,"id":"Q4143287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$F5DCA863-7D42-4A91-847B-4B8BE252AD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12826ff0648af3ed768fc2a9cb7506ba8210e3be","datavalue":{"value":{"entity-type":"item","numeric-id":1380415,"id":"Q1380415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$9974465F-EC85-4223-98ED-B164EF38824D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"207fe11e890496516434bc3ee50b5c99ac0185fe","datavalue":{"value":{"entity-type":"item","numeric-id":1204528,"id":"Q1204528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$A5227521-DF9E-4170-976D-F9BE5A38FAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7e6768b22bc08e9e065fa04ec4a9f1dc4b3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$D23D92D9-E0CF-416B-A186-9E132E780EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff70f794b26e320204c34a00c8318c5a3faa2c","datavalue":{"value":{"entity-type":"item","numeric-id":4399718,"id":"Q4399718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$F9F752DF-9E67-4E5A-B8AA-CCAF249CA50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbb66be219bb570b75137d9e23d2dfd1757911b","datavalue":{"value":{"entity-type":"item","numeric-id":3075228,"id":"Q3075228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$1D98EEA1-8237-4485-B246-961511055919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30340f8251a7143091e0fd064c065a43f5cb9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5504578,"id":"Q5504578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$FC804B6C-9E42-4CA1-8D86-31670FCED49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0365ceef34852d644343bd3ffb80b7159a90f69c","datavalue":{"value":{"entity-type":"item","numeric-id":4254565,"id":"Q4254565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$0CADAFBA-8AAE-40E7-BF87-FC9559C78FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e03d90bbd33b8a42e64ba26163b90a43088eba","datavalue":{"value":{"entity-type":"item","numeric-id":3224003,"id":"Q3224003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$497543C3-B911-4D48-8D96-E472264E4644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ed5cf1250814a5e584c109ec7d15def62f14cf","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$2378C93A-D977-403B-8371-F75E75968644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$F1F86202-9690-43BD-99F6-28E276885D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$1B1FE58D-2DE2-4E55-8D2C-DE41FBC9E1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e172b6c4797917c0c7ab35b6d560ba28d2c6c64","datavalue":{"value":{"entity-type":"item","numeric-id":1892941,"id":"Q1892941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$C64FE7A2-42AF-4980-866B-7AED567E56EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b978fc5f442cc29d1a51f35c37ee5878e0c2b3","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$1E563273-8A3B-425E-ADEB-CB8069722CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b34e461eab810df1a7feeb70aed6de9a712b5","datavalue":{"value":{"entity-type":"item","numeric-id":4332930,"id":"Q4332930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$0C06C770-B051-451E-878E-8517D8D10224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$C3EB69BE-10F1-43FC-AA09-641C32E77734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1cc859c2c28a6d80406be53b394e18733c4520","datavalue":{"value":{"entity-type":"item","numeric-id":5491513,"id":"Q5491513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3458159$A5B9AF0D-84C4-4034-A703-C571B88007CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dd3feec3f8c96467ac8a86ffe6c462193fd3553","datavalue":{"value":{"entity-type":"item","numeric-id":3224003,"id":"Q3224003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9081bd7a06205cfce2583e6045fc209e671cf766","datavalue":{"value":{"amount":"+0.7740049958229065","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":"Q3458159$5A942A25-839D-4B9D-8CD8-ECC4AAF006FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ed3e99ef970c8df23234f63fa1a85c26828e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f3ad616171321c725acd7037d3d04ec320e872","datavalue":{"value":{"amount":"+0.7632772922515869","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":"Q3458159$B97B9CDD-B67C-420E-97E9-01E8E156ECF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc59ef207aec58be4d00920e4710ac6db0f4b29","datavalue":{"value":{"entity-type":"item","numeric-id":1685920,"id":"Q1685920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa151c883a35f0c256be2d867f2298cd9fb83da","datavalue":{"value":{"amount":"+0.7495723962783813","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":"Q3458159$74623B80-B639-4179-8E0E-4369D8EBE707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf446e729c2ae15b32d7b70132cbb22d8715b07","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa8e6540becd527adc1b763e7be7ea6b2b64682","datavalue":{"value":{"amount":"+0.7435020804405212","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":"Q3458159$8AFCF2B8-A383-4530-A68F-41D385D5564C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f2746d16b0c128a39bb1a9aecb2a30e8d4d4eb","datavalue":{"value":{"entity-type":"item","numeric-id":4035693,"id":"Q4035693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcfffa2f82a9ee9cb41dfcde714eb852aac6a6a","datavalue":{"value":{"amount":"+0.7409811019897461","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":"Q3458159$4D16C159-0172-44D6-AD38-6A31D3BA1C4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3458159","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3458159"}}}}}