{"entities":{"Q1931900":{"pageid":1942642,"ns":120,"title":"Item:Q1931900","lastrevid":69329502,"modified":"2026-04-13T06:16:43Z","type":"item","id":"Q1931900","labels":{"en":{"language":"en","value":"Typing theorems of omega algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6126068"}},"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":"Q1931900$06125FF0-762F-44BD-A7E7-403399681A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6735266b27dd340ec8a15e02de310eae440baef","datavalue":{"value":{"text":"Typing theorems of omega algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1931900$8F6B5D0A-C11C-43A7-B259-6C15970629CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2163b0afaeefdb7135658cad910a9b774cffafe8","datavalue":{"value":"1279.68237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931900$0A46DEEE-0182-4A53-ABBE-3517C1253E9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed69aaebbce1b2394bce597626494f1caaec9558","datavalue":{"value":{"entity-type":"item","numeric-id":299187,"id":"Q299187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$5FC5E1B4-2C71-4F37-B979-81A9F7BBDB15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$D809AE3E-8CE9-499F-8C42-89702DAB4AFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a182d0b9d771c58d711172642e13babdf59a69c7","datavalue":{"value":{"time":"+2013-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1931900$7345CD1E-46A3-4B80-BCE7-51234148C18A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931900$32FE4752-6E85-466D-BB80-6227D54685F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6797d77d719300d20f53af0efa5eef69160a603","datavalue":{"value":"6126068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931900$804885AC-2781-4493-B4C1-91C61E5366ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49aa29192e07f54fe915fc06fc8bcc75a39cdcd7","datavalue":{"value":"heterogeneous relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$62F67255-3E4E-4B42-B9C9-457CA5FE1CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$872BA8DB-8A36-4451-A022-279CDE303095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed60a1eea45807dc115f1d9ab122d92a596a2590","datavalue":{"value":"matrix algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$7F5CB00F-FBA5-42C7-985A-BD4511F792A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae679e70ecbb18858df3ce88c111b5f83a3df83","datavalue":{"value":"non-square matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$7AE5A8B4-8A3F-4D5E-B72E-EE7389B60D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1737e5aeeae782ad602d2b1f424bfecdc6716c3","datavalue":{"value":"omega algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$4BD7D555-2C75-42C8-81C3-6FFC180539E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43dd50e94d7ee3ecd1730bae7989608e1c4e92e5","datavalue":{"value":"1-free expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$68F4382E-A0D8-4CA3-8489-6B4F38DC92E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fe9515a1f61859c583f5f9f7e2485d6312f81b","datavalue":{"value":"typed omega algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$EF3F0646-BB77-44EF-AF54-AA69858FCB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4bd4c93b1231ea15edb52a26a905985f4685a01","datavalue":{"value":"typing theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1931900$E175F939-03C5-4849-BE84-48B46A8D846C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c3f7032efe1fd3f95ffbe9ca41050d9aa24689d8","datavalue":{"value":"Q114851544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931900$499693EA-B44A-41A7-8CBF-AEAC83E30A9B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0b3613afdea99b20a3156b582c84af8424d5eba","datavalue":{"value":{"entity-type":"item","numeric-id":20514,"id":"Q20514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$FD7F3351-8217-4A1E-AB50-087F72724C94","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":"Q1931900$E8611341-25BF-4B2D-8B8F-18422D60EB5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"028d730e1d96e8065bb8717352be1c6d9533eccd","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1931900$52D6BB47-F7A4-4110-B4BA-845752E2A7E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"218d0e84485e5dc11a69c71751344576c7daddd6","datavalue":{"value":"W1995311694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931900$6988B6F3-27DF-4365-8BCD-C803EA5BE8CD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f962053d1a947b652bff7896a87205ae9680145e","datavalue":{"value":{"entity-type":"item","numeric-id":3007570,"id":"Q3007570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$994E418F-A33E-4223-97BB-14039175B5D8","rank":"normal"},{"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":"Q1931900$F34677A7-49A8-4DD7-8A8F-AF769CC559A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$1F725EE1-F516-4D75-A7D5-BDF0C9C4D58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$B9FF8E81-EBB6-4B39-AAB5-A5D07DE12DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$6C97F28F-1043-4048-96A2-F877E5A38BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$7783C7AD-8A17-4500-A363-7163516A63AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfc90e33929a32d7132d23ebcdd77859837d7f1","datavalue":{"value":{"entity-type":"item","numeric-id":3575271,"id":"Q3575271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$C7045609-B051-4C9E-BD74-8192BA25E7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10088d42ea2c0b61cae024c73bc185407420f11a","datavalue":{"value":{"entity-type":"item","numeric-id":3007578,"id":"Q3007578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$4EEE8FC9-C329-4B0D-9EE1-A93F2A5657A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd3ad63d4e6ab20a377a01d92d178d9cb68c64e","datavalue":{"value":{"entity-type":"item","numeric-id":5712431,"id":"Q5712431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$53B381EB-64AD-4D13-9475-5D018BF91E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf22f682016f944ff79f619b0dece60771cb1f03","datavalue":{"value":{"entity-type":"item","numeric-id":3007580,"id":"Q3007580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$1E02C3AB-6D4C-433A-8C37-32F603CEE822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$470BFD33-5C5F-4957-94CA-C5277A79C723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$C10E1A1E-9AF2-4FBD-B374-5968C70E6AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99fd685bcf30f349d06a773c6816df3cf4f339a","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$AEC62E75-8E05-440A-A387-296B8382D936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b652c6e3929930c4d1100d4255ca7bc27e408fee","datavalue":{"value":{"entity-type":"item","numeric-id":5899317,"id":"Q5899317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$28582E97-BBDD-4909-B820-3AA4F37ADFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f969b5ef4a61881c96f2d478f89f69bf521828","datavalue":{"value":{"entity-type":"item","numeric-id":3586061,"id":"Q3586061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$5BED17F8-7722-4B4C-95DA-9155595497ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa75cd0abd1fb5892b4edf8084ca15df3c7697b6","datavalue":{"value":{"entity-type":"item","numeric-id":4362876,"id":"Q4362876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$B264A30B-BFF7-4D53-AD93-D3573E028277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13344aff5ab41733f25964d35256408bc52eb06e","datavalue":{"value":{"entity-type":"item","numeric-id":5234720,"id":"Q5234720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$46FF4AA0-9CBD-4C8D-96CC-EFAD2A22955F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e7b0560ac47479e9ec4cf221a3d6bdc7236fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4855367,"id":"Q4855367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1931900$ACF76A15-0557-4BA2-855C-2DFA611E4104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4010972531721668410bbe8451aabde7d992d8f3","datavalue":{"value":"10.1016/J.JLAP.2012.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1931900$56BEB8B1-868E-4D3D-978B-BE8DB0EB6520","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1047138191561bf09ae2c1ad9795c33cf3afb6","datavalue":{"value":{"entity-type":"item","numeric-id":3007578,"id":"Q3007578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca470b3cf7d8a76926059bfc42abe679993b0120","datavalue":{"value":{"amount":"+0.922102987766266","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":"Q1931900$6788A097-1319-4EC9-B790-05493872FAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b68e82b2dadd296f79475b2e5fe44facb0b499a","datavalue":{"value":{"entity-type":"item","numeric-id":2895474,"id":"Q2895474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5afc0b21a3123f2516dd8c332d60f8f33bb1eaf","datavalue":{"value":{"amount":"+0.7418384552001953","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":"Q1931900$BD5283BC-ACE3-457D-86C3-72DC7D3AD671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f99d7accb35903f816f233246b63a938e89a89b","datavalue":{"value":{"entity-type":"item","numeric-id":3007581,"id":"Q3007581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c843cd655add23d2aeee465fe73738af71e454d","datavalue":{"value":{"amount":"+0.732875406742096","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":"Q1931900$115C4D3C-D9B9-4FE2-828E-41860CB8C2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a703a46a96d5c29ae45506f580711e5df060ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2958536,"id":"Q2958536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264af2346ee4f2b68261e12c001b4d3774790629","datavalue":{"value":{"amount":"+0.7283188700675964","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":"Q1931900$711DE320-6C75-48B9-A4C3-B6D96F8C918C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ab260efecb0bb7f123f5093b1f825734024174","datavalue":{"value":{"entity-type":"item","numeric-id":3586061,"id":"Q3586061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0f82c4abdb9ad41465f5b6424d31f30c7c9159","datavalue":{"value":{"amount":"+0.7161116003990173","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":"Q1931900$49F23979-ACAF-4A00-9DB6-26EED2133A3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typing theorems of omega algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typing_theorems_of_omega_algebra"}}}}}