{"entities":{"Q1239309":{"pageid":1250059,"ns":120,"title":"Item:Q1239309","lastrevid":67234479,"modified":"2026-04-12T16:16:07Z","type":"item","id":"Q1239309","labels":{"en":{"language":"en","value":"Mechanizing \\(\\omega\\)-order type theory through unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3561290"}},"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":"Q1239309$DDCB7296-CC12-4AB7-90C6-AFF32D8777F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bba3d260a2d200b3ddd67de23f6f6a38af66c89","datavalue":{"value":{"text":"Mechanizing \\(\\omega\\)-order type theory through unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1239309$EFDDBB15-7812-4E3A-9063-BF9808794EB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f437da5c9466aa8671eaf8ab00a7a44148eed38c","datavalue":{"value":"0361.02020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239309$921EF25D-6429-45EC-A6E1-DBF8062C9EA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef8cc8e186979d73f64fd42e2650a978635220e5","datavalue":{"value":"10.1016/0304-3975(76)90021-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239309$76B20171-A29E-472F-A97B-5F39DB195EA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75250713666e9ceb26693ce8f38e34dc854ee9aa","datavalue":{"value":{"entity-type":"item","numeric-id":1239308,"id":"Q1239308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$12DC58F4-43E7-4BD5-AEE1-A4AEC92BE458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c049f8184d4539307dbf318da01898bca06bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1844060,"id":"Q1844060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$2A8FBD08-FAC9-4D39-84DC-488325DA9D44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$C6107935-6DF2-477A-90B4-7EB3D206B823","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1239309$CBAB4806-11E6-42A4-A6C8-6B020F88546C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239309$EB1B2D82-346A-4951-9D30-0EBBF924C5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239309$0E22CA27-A45A-4653-A228-71DAAF93B4C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4439a8fe49405418bcd65ad48c372eaf30faf7aa","datavalue":{"value":"3561290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239309$E5CA9A93-53F5-4FC9-B5C7-65F28145CC1F","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":"Q1239309$78E97E34-423C-474A-B956-8724E9161A08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3d5119e6f70f2ce73f76411316d95dd9f2c18da","datavalue":{"value":"https://doi.org/10.1016/0304-3975(76)90021-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1239309$015AEFFA-091E-401A-A398-D885398DFFD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d0d52d7c8e45cdb610a5de35872cee531231fac","datavalue":{"value":"W1990121424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1239309$4688E4D9-E73C-4EBA-87B3-7869E4B59226","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$847B2E72-057B-4342-BA87-E8CEE7555849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a99b3cfaa24ace22461e3611dd14f5ba9e4db0","datavalue":{"value":{"entity-type":"item","numeric-id":5616174,"id":"Q5616174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$887D636A-A0EB-431E-A9ED-8F48BD833FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"146c2cf67ae367d823a4ae7b8d88270832325b58","datavalue":{"value":{"entity-type":"item","numeric-id":5677084,"id":"Q5677084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$35A1F24F-D00D-4EC0-A404-9B6427C45226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$16E2D2B7-4915-47AA-8EE1-B33ED73E6DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$54369578-240B-4369-ACE7-B7797C520D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$FE34ABF4-D697-4580-93D4-6EDEC712D6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$F28803C9-4D31-43AC-B485-71A85419FDB0","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":"Q1239309$D20CFED6-660C-4868-8CB8-B9716B39FD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c89dbd2855ba43daea8b45eab22e20a3e8e01e","datavalue":{"value":{"entity-type":"item","numeric-id":5667481,"id":"Q5667481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$7B165681-308D-42FB-9EB4-5B1D91C013A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$109DCEDE-0DB4-4458-8E42-7362B54EF8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db1af0fa3ab79d3aca7d0c2eb038f3a2d86af567","datavalue":{"value":{"entity-type":"item","numeric-id":5541351,"id":"Q5541351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$96F0A885-5D83-499E-959B-3B4FCA486AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e169af1b2927cc066a8cc188c6dd43f7cce9298","datavalue":{"value":{"entity-type":"item","numeric-id":5591533,"id":"Q5591533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$DE08374A-51F1-4894-9D46-4CE54C4AB2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12fadbaccd3deedc43140f74cbb3fb657e6a8f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5614672,"id":"Q5614672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$65B6EA5B-E376-4AEE-8F00-CFE77CF28284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d8c6e78ca64cb5cd0571f9c0221eef165275e6","datavalue":{"value":{"entity-type":"item","numeric-id":5636315,"id":"Q5636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$F86E7E2D-7808-4886-8456-8599314599A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$560ACD57-5C52-4C33-8604-AD949900EB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1239309$62326501-8575-49C3-9AE8-D2459B9685ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanizing \\(\\omega\\)-order type theory through unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanizing_%5C(%5Comega%5C)-order_type_theory_through_unification"}}}}}