{"entities":{"Q4953222":{"pageid":6982804,"ns":120,"title":"Item:Q4953222","lastrevid":46914279,"modified":"2025-12-25T20:31:51Z","type":"item","id":"Q4953222","labels":{"en":{"language":"en","value":"Logical questions concerning the <i>\u03bc</i>-calculus: Interpolation, Lyndon and \u0141o\u015b-Tarski"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444053"}},"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":"Q4953222$A8CF130A-1188-44D0-A672-EB52579AADC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f866a5335cf38f3cdbab8ca4544d41b98077794","datavalue":{"value":{"text":"Logical questions concerning the <i>\u03bc</i>-calculus: Interpolation, Lyndon and \u0141o\u015b-Tarski","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4953222$991B2FBC-3F11-493A-8CCB-9ED23DA22D40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57645de462b5fd653ea64ca04a5a337587d692b3","datavalue":{"value":"0982.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$52516D6B-BBFC-45DE-9301-80AD94D34817","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fb92e076146bdeda3cfa4e15a2c85bdbf96e30f","datavalue":{"value":"10.2307/2586539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$B272D5C3-61A5-4515-A3F4-A2D3BFB88FFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4d377d3637058f1e83788786b9a25ae94a603","datavalue":{"value":{"entity-type":"item","numeric-id":481099,"id":"Q481099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$EDE78624-DC6C-468A-BA32-64DAA957934A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7890c5b29fe25a1905e7d0e0fe1ea9e08cfdf763","datavalue":{"value":{"entity-type":"item","numeric-id":1288170,"id":"Q1288170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$7AA79A5C-4FC4-41F6-A183-374BE1B9C380","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$A18B0C4B-AB81-4975-A562-368998ED5166","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe66a28cad835273ea4119156e456cbd684380d","datavalue":{"value":{"time":"+2000-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4953222$BCD51B59-F09D-44A8-803F-9D1BB8299EA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$7D96DE8F-0E5A-4C1A-8AD8-A651598ED9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$CBC27AC9-C047-41E3-A369-7E8E24D770F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$4BBC6CB4-E412-4175-BFE4-4E4B79D19D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$A97028F0-DB94-4038-887D-8F81AEFB7B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$9B491A75-89C5-4449-80E4-0B1DDE8A3A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$57C6AE8A-B9CB-42CB-8EE3-BD9E88DC5DF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40fe99f5a2dddb978fc84c3475e8a1fa8589b774","datavalue":{"value":"1444053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$68D47D8C-04B4-404A-AEBE-52C5738B6855","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b462f38abee80906c2d768906563204d6d43dfc5","datavalue":{"value":"modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953222$75C61AC0-6B17-4A02-98DF-9AB1A8085571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0dd6605267c87f8a8520e9394a7b544318c663e","datavalue":{"value":"classical theorems of model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953222$AAD55A01-55BC-47C0-90CD-F0167628FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953222$14E7F462-A828-4F09-A58B-8CBB2CE3E28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b381b612e067445493d060b754845f1a8aaa92","datavalue":{"value":"Lyndon theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953222$439AEB46-7A78-4ED7-B743-2F3B926FF72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9c42e7a75f4767984df7753eb1f240ded3bcfe","datavalue":{"value":"Lo\u015b-Tarski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953222$8D3C46F8-129E-4BD6-B63F-F33C0421FF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c84f05d344d4589f14db64eb75def0bcef6dca6f","datavalue":{"value":"mu-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953222$12A3C48F-7D58-4342-99B7-C9958A01F644","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":"Q4953222$BC513E7E-83B5-4C68-BEEA-92EA082275CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3822facb6452d89adaac2a88d6d95af06088253f","datavalue":{"value":"https://doi.org/10.2307/2586539","type":"string"},"datatype":"url"},"type":"statement","id":"Q4953222$1D9E5BE4-8F96-4129-899C-58F77650FD4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889acf53002105edcff7829c25eacfd5399c2b2d","datavalue":{"value":"W2057072590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953222$03DD383C-DCE1-4F44-845E-A0B4B397CDCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf5e0864e6808c186dd0092e7f961ddd594b13","datavalue":{"value":{"entity-type":"item","numeric-id":4008745,"id":"Q4008745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$A4E0787A-B13A-41BA-BFDE-D51510E08E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$EE4AC9D9-C9E1-46B9-9EF1-046EAFC31E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bed96517ad5ba1babe6b302ab098c89d0358319","datavalue":{"value":{"entity-type":"item","numeric-id":1820578,"id":"Q1820578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$175F04AA-5D31-44BF-8706-57356C6A78B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$CE5DE88F-A0F6-44D1-A504-D69305D95631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$98DDBB33-51E7-4ADF-A42E-8A49C233873E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$D8F18B83-4584-4492-BF4B-34127F75335A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822dfb55932366576e9dce49d4c9ea942ce94d64","datavalue":{"value":{"entity-type":"item","numeric-id":4240680,"id":"Q4240680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$A4E67A45-1D36-4C07-A715-E5021849FD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d425f1dfe12ad30907606cc8a836303a30bbb11","datavalue":{"value":{"entity-type":"item","numeric-id":772220,"id":"Q772220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$42688F5E-E547-420C-B4B0-80E15A077ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953222$46CB5822-1B28-4282-AC70-E87BFC85EE2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91240a69adf266f22612679fce0b8310fc5de142","datavalue":{"value":{"entity-type":"item","numeric-id":4215595,"id":"Q4215595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6998c448f7121678fb50d1f1c0919cf5b9a7f19b","datavalue":{"value":{"amount":"+0.8649588227272034","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":"Q4953222$E8E49396-D102-40B1-86C9-59B23B5E9E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8360e23067f6d47764214a5f12daf6448a5281f8","datavalue":{"value":{"entity-type":"item","numeric-id":2506827,"id":"Q2506827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5c6613bbc3b8b7b811006614e7a8dd492a0d52","datavalue":{"value":{"amount":"+0.8342047929763794","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":"Q4953222$83688B72-A494-4FC8-A939-2C1F6E8087E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ca1210ceebdbe83272f5f19604080595ebe9ca","datavalue":{"value":{"amount":"+0.8013588190078735","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":"Q4953222$00B33748-411D-4635-86AD-FE3BDBF989FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedf073a5c734d8bf55a1ac6fc1c007b7a2fc787","datavalue":{"value":{"entity-type":"item","numeric-id":3647242,"id":"Q3647242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d40d8300712cf4e37273ee046b176c1036fa18c6","datavalue":{"value":{"amount":"+0.7942795753479004","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":"Q4953222$6CD8D1E8-BFA5-461B-BA47-979372911944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4953222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4953222"}}}}}