{"entities":{"Q3523186":{"pageid":5553090,"ns":120,"title":"Item:Q3523186","lastrevid":50441549,"modified":"2026-01-14T01:43:46Z","type":"item","id":"Q3523186","labels":{"en":{"language":"en","value":"HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318954"}},"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":"Q3523186$A7F49C62-0598-4165-9DC1-D3CEA2A7E3E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a1b20b8192a8156e09495d3c13ede68da96bde4","datavalue":{"value":{"text":"HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523186$332C30D3-A681-4069-8BFB-E6A4BE8BE0F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0ff0dfaeabb2576dd3b396f652d333adcb80082","datavalue":{"value":"1144.68368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523186$4C53B30D-CA62-4A40-8B4A-C8191690CF05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce5f27d7842a85e997fffd6f500a26525eec5939","datavalue":{"value":"10.1007/978-3-540-74591-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523186$F39406EB-05DF-45B2-8770-F5A40A3254D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bb053382c71c0051ebb3242596587b3881b267a","datavalue":{"value":{"entity-type":"item","numeric-id":234690,"id":"Q234690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$E38B004D-EE1A-4C89-8073-FDC08728B3BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$7C04EF93-705C-4F74-8595-0C9045CECB02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523186$D49C8C02-2DAE-46C0-AC26-603CF0DE92A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523186$790B2699-AFD3-4DE5-9CBD-0EFE428CF7ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41c8a74170cc5294ef03f76e4635020ea7157835","datavalue":{"value":"5318954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523186$BF83EF85-7F39-47D6-9429-AE8FB93E8936","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$BD09BDF8-B56B-4924-838A-7AC25C9DD6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$CB870390-7B81-4FA3-A078-81EAF98F3561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$F4F0F21C-2E5C-4877-A7F4-982FC9D2F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$12A386BD-6951-4716-A4C9-9E710989049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"814189daad4ea60dfd6dfeab0605eb84be0e72c4","datavalue":{"value":{"entity-type":"item","numeric-id":32992,"id":"Q32992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523186$F840583A-7F35-43A3-8E66-E8FE1AB93ED7","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":"Q3523186$131DB69C-D1A7-4384-98E8-B698B8928DF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"753eddda0921d7901dfb6e693155224f0d6790d8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523186$8AAEDB63-2E2F-4752-9EBC-0E2E85D34B7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcbf9647dfa9c15f76d53d46c670238183fb93e2","datavalue":{"value":"W2128123914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523186$23DC44EE-9729-4D52-977D-AB755D2F234A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"880184504bd47d4aab173f44873bb04dbe6f5cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1309243,"id":"Q1309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf47fd4d2e5b06cbe14369254c24e4f4848b0d9f","datavalue":{"value":{"amount":"+0.7690886855125427","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":"Q3523186$8D49D529-2AFC-4AC0-BD30-7C6269028621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d71f2c4d6138c12ea9942329b2e7c90b943087","datavalue":{"value":{"entity-type":"item","numeric-id":5327367,"id":"Q5327367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb9a108064140ffa85deab2026b0f2184298882","datavalue":{"value":{"amount":"+0.7599775195121765","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":"Q3523186$2AFCA4F6-137A-4436-A44B-6CA8A2CF3F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a2a627e29f2871ae1ff628bc0545f5102ac3722","datavalue":{"value":{"entity-type":"item","numeric-id":3612441,"id":"Q3612441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3df571bb6f96cd1886c330440597d6727fe3a11","datavalue":{"value":{"amount":"+0.7550742626190186","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":"Q3523186$54D2CEFE-182B-4445-9662-16094A6C3478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db22c1910555c7985f9da455f58bf2494089862c","datavalue":{"value":{"entity-type":"item","numeric-id":3183533,"id":"Q3183533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf2b7008ebf9429723f6c01a8a9bb89a18f1982","datavalue":{"value":{"amount":"+0.7411215901374817","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":"Q3523186$4AA06D11-6449-4E35-B4B2-FC46D4BECD5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f60426e5739f83e401a40414b0864841d3d924e4","datavalue":{"value":{"entity-type":"item","numeric-id":3024884,"id":"Q3024884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c7eaafecd4981dcff399baea2f464e7e49ff5a","datavalue":{"value":{"amount":"+0.71733158826828","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":"Q3523186$1CFC7F58-C703-413E-8CC4-EB709802175D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523186","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523186"}}}}}