{"entities":{"Q3183533":{"pageid":3194241,"ns":120,"title":"Item:Q3183533","lastrevid":80028164,"modified":"2026-05-06T15:16:34Z","type":"item","id":"Q3183533","labels":{"en":{"language":"en","value":"The HOL-Omega Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618512"}},"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":"Q3183533$473BD3E8-CB93-40DC-B371-AB5E3E068F4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0a5c827d6a292ff24eb4c2bd6a3a03046a45c1d","datavalue":{"value":{"text":"The HOL-Omega Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183533$F4E20405-8BC9-4416-B008-B9DE0D7F7BF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98d43712d783c4cb5192d424cb2074e4cf103b94","datavalue":{"value":"1252.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183533$C69F4FC3-CBAE-486B-950E-4C9090FF5ED0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de8e7e173a76a602ceab3b53cfb2963e0a80d79d","datavalue":{"value":"10.1007/978-3-642-03359-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183533$D561ABDA-51C1-48F9-A03F-564ECDDC6C11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30571cb690398849c0604e122d31faa0b2492672","datavalue":{"value":{"entity-type":"item","numeric-id":1887134,"id":"Q1887134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$B4AD149E-AE87-4F0D-92DF-31C158BE814F","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":"Q3183533$C7C2B9B8-B73F-45F1-92AE-5727BD864821","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183533$FBAAFA11-DC35-41F0-99ED-3C23C6C708FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183533$7874AC80-A33E-4B2D-826A-24BC8A249397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50932c19425a5083b68a2a261e14f0accb11817d","datavalue":{"value":"5618512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183533$C04D70D5-8E3F-438B-82BF-F27F93FBFA7D","rank":"normal"}],"P1463":[{"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":"Q3183533$54003F08-5AA9-45B3-B8AC-D924D6629EAB","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":"Q3183533$277D8C1A-FEEC-4ADC-B18C-BF140B5B3856","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":"Q3183533$D50429CF-71B0-4296-B87B-0247ACFFB71E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"98a955075e586a1b63e9f6fb923fbe5b91cae2ea","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183533$9EAAF0B6-6F34-4B06-8480-2D76EFD04FFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fed9fcb4fca63e17de88f137683adee3441b7a03","datavalue":{"value":"W1493683612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183533$9171CD66-C794-45B2-9DE1-DD35A6F27820","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$6FEE93B4-F57D-47ED-AD78-F9A4CD87A4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff58268d0c43ac1a7d8c98b208d3b98cc4f79452","datavalue":{"value":{"entity-type":"item","numeric-id":4325789,"id":"Q4325789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$EA6544B7-2832-49EE-93BA-71465CF43AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$ADC8A278-9BFE-4AC9-8C43-1C0E03A5BEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bbc2004c97d7cdb78bdc3c701291fe2fff79cd","datavalue":{"value":{"entity-type":"item","numeric-id":1850104,"id":"Q1850104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$FCD4D2C7-8B49-463F-B2C9-184D5AE6B48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f248b795b8fd08a553455fc9d1a16ce59991b8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1309243,"id":"Q1309243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$EB738E7E-4FC2-4B49-BB54-F0449ACA8F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b466c6407c83fae804265ca36636986244217cb2","datavalue":{"value":{"entity-type":"item","numeric-id":5598318,"id":"Q5598318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$AFA71B5E-E8D4-4D1E-929B-5F706FED4C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$C913EEEB-E483-4445-877F-66EF7D418951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2f8c25c33b8fda97d8843e1781ac3b22b7626f","datavalue":{"value":{"entity-type":"item","numeric-id":3523186,"id":"Q3523186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183533$58A30B0B-E55F-485F-BF31-1659D7B17B30","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":"bbef5c9116275aa964e02f38a6d8182b4580b040","datavalue":{"value":{"amount":"+0.7954621315002441","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":"Q3183533$6A1B7605-C34B-4641-882B-8722BF28DB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71118114fbb65a0d0338d16dfefbe08e60cecc80","datavalue":{"value":{"entity-type":"item","numeric-id":935562,"id":"Q935562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c0c228781eb7afead94bde904f902e5e21e450","datavalue":{"value":{"amount":"+0.7597901225090027","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":"Q3183533$DFD23185-BDF7-48BA-99B0-FAB316217153","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":"20fd1ced41bb12914366437e224a170b1bf999d6","datavalue":{"value":{"amount":"+0.7439605593681335","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":"Q3183533$77A67BF7-DF9F-4C8B-8758-9EE7715ABF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacae4effa093e1e8af76c68cebab6033740ff19","datavalue":{"value":{"entity-type":"item","numeric-id":3523186,"id":"Q3523186"},"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":"Q3183533$0ED444CA-E20C-469A-8E1C-5F23A218F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfef8c1f350ddf00e455be68c8a2531cffe9d152","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7d4d6a2fd05191a7c784c0937d09a41f1dbe05d","datavalue":{"value":{"amount":"+0.7330107688903809","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":"Q3183533$1764606A-BF29-4BA4-8A9A-7CB40B34B522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The HOL-Omega Logic","badges":[]}}}}}