{"entities":{"Q647415":{"pageid":649264,"ns":120,"title":"Item:Q647415","lastrevid":51371903,"modified":"2026-01-17T23:34:56Z","type":"item","id":"Q647415","labels":{"en":{"language":"en","value":"Interpolation and definability over the logic Gl"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977623"}},"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":"Q647415$092A4A55-F2F2-45E6-9152-B3713327E3D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e7ee66e9d6ab80d71ea54c3979b7e8c2d085979","datavalue":{"value":{"text":"Interpolation and definability over the logic Gl","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q647415$D7968C4E-84E3-4353-9639-B00EBFDF60FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d8eaf86e3211f99a66652dd79c2c46d566b0556","datavalue":{"value":"1254.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647415$F2A8E610-1F93-435A-8B39-BA0E5FA51090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$4FB1CB0B-8321-473A-AA23-63E4CA059125","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q647415$98C1C6E2-FA06-4168-BBF7-6A7BC5275D8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647415$1D143B11-F761-46E1-94D6-B4C94432B3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647415$13E03E4D-E739-4DA8-BFAC-67FC2B3E1006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ee7b3a22874c1b7386b300acb3212a96bb4d0f7","datavalue":{"value":"5977623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647415$C8193141-0656-45FA-903E-10C8633A1238","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7456a6500678da2c11297409c3d94f7b6af242","datavalue":{"value":"minimal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q647415$9AE69FC2-2D41-4D20-A8C1-DC2E9D600BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q647415$1D3E5323-96B0-4A22-B26A-71E78507166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q647415$CA9CD436-D3C3-4B89-A650-10B958D6B9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q647415$32B84BA3-AB36-4E93-B9B0-9D9463D55D84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da7205aa6b4e51082df3cd99c42733bd50597b37","datavalue":{"value":{"entity-type":"item","numeric-id":918957,"id":"Q918957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$3B3B9464-E7F6-40D1-ACB5-CF47582FF4A6","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":"Q647415$398B2538-14C8-420E-B06F-5C390AF0CCE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf55a61e7b9ed4579d8332144f7b7ed30f1710cc","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9351-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q647415$8B606964-3AAB-4173-B0C6-5F5596345249","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0534e81463b364a2d12192655196c8e83a86ab97","datavalue":{"value":"W2078092539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647415$11E91A31-B21A-439A-8656-498810052AAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$F2060D1A-0926-4AB9-B089-7BBE681849FD","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":"Q647415$C5DEFFEC-4772-4D4A-A284-A223D9C1D253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$F9F1447D-F96F-449A-8B26-4B14AB3884DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$85ADA1B4-4343-4198-BBD9-9D2AF49983DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc1b66416e18542f53f888ff4b3cb8b2c1c8a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5764366,"id":"Q5764366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$D7CD1A3C-F861-4ADB-B497-E930E747E099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$5CA36868-4F29-47CE-9FC2-DF9F2D62F117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17763a898dc957bec5af152a939bc9a715eab224","datavalue":{"value":{"entity-type":"item","numeric-id":1260029,"id":"Q1260029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$66C4CE07-C478-424B-A858-83E4C14B1354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22882db29752b4575c345d3c696c4ab856acb443","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$A695B660-1A54-4F37-A58C-4E49D5C412CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe448008da013d2f8dec3493a15a9c63b8876ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4532125,"id":"Q4532125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$0EAC75B3-AA81-4D83-AC59-4A1F319D6C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfc35f925f6d5c884b1d0d79906d162784c29f","datavalue":{"value":{"entity-type":"item","numeric-id":4451641,"id":"Q4451641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$DE3B3E4F-FAE0-4ECF-A957-3C50371E9F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0362777c178853d7e80e500731313475ff05600","datavalue":{"value":{"entity-type":"item","numeric-id":5465446,"id":"Q5465446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$D18ABE09-14BC-4F86-9F8E-1763DE0DAD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986360752d3038d54763536872f028118126b5ac","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$11AB146E-CFF9-423F-8888-0229C57547A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bafa61800651144f61c6d933f54969754128b0e","datavalue":{"value":{"entity-type":"item","numeric-id":3446517,"id":"Q3446517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$D55D7E50-5120-4E4F-AE46-CB24DB28ADB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91ec61c1c2e069ad77857747a99980d23202b0","datavalue":{"value":{"entity-type":"item","numeric-id":3546097,"id":"Q3546097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$DF21FE37-82EA-40DA-AC01-DD9A0C7DF876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95829e434423f74358ea4da5f3bca73c0c147e34","datavalue":{"value":{"entity-type":"item","numeric-id":3546111,"id":"Q3546111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$4C3C2A22-B097-4778-8259-C02380422AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2904d16fc361d48cd313a368dfc01d2eab5ac93","datavalue":{"value":{"entity-type":"item","numeric-id":3577906,"id":"Q3577906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$2C6B2896-4A59-457C-A39F-27B61F67C8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cd315b034ffffb4226e106161ba5dfea1b6ae0d","datavalue":{"value":{"entity-type":"item","numeric-id":3001102,"id":"Q3001102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$E0A82C5E-DA57-4A0B-AAD4-47E10A0E3667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352594fc316d8c2c44f85363ae162f7e8114b482","datavalue":{"value":{"entity-type":"item","numeric-id":606053,"id":"Q606053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$E7527811-DBC4-4198-9270-0D9038786FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8098fb4d00cd350f77f5906966fbf818f3c3a64c","datavalue":{"value":{"entity-type":"item","numeric-id":695764,"id":"Q695764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$7CE6F220-E346-4CC3-A475-242C54AA6E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$8E0CA3E0-D446-46AC-A9A8-34A63CBF104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d486ac68af681f8a85b54847acb6484d81487ef1","datavalue":{"value":{"entity-type":"item","numeric-id":5599784,"id":"Q5599784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$2C1F2D8C-13AA-41D5-9A83-A04C1CF9998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284ba7e5b02ac3c4672d6468085926cc0c361b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4803974,"id":"Q4803974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$CA2FD34B-CC37-45DD-B4C8-33CAB779F4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9397b189e714eb83e17a2f5556f745f3105868dc","datavalue":{"value":{"entity-type":"item","numeric-id":932098,"id":"Q932098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$62E72FA5-FF86-4BB6-A15C-5EB13D620F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$FC624488-A98D-4418-909C-33DF5F10CC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005add2b5cc8b538d854b2643532453d11ea471e","datavalue":{"value":{"entity-type":"item","numeric-id":3240238,"id":"Q3240238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$DBDA0CA6-1C2D-4C82-8EF4-F7D01DCB129C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992f3801d3cae773733c4d91154660a944ed992","datavalue":{"value":{"entity-type":"item","numeric-id":1130509,"id":"Q1130509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$E8099DFF-CE67-412A-94F3-8D57E5952B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41429a7e8e6ab5eeb3e6d816f59a6b55342f310","datavalue":{"value":{"entity-type":"item","numeric-id":4664638,"id":"Q4664638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$6D63745F-EC53-4A3A-B9B5-B533DD959D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b46f2d3e184e0ce2f4ab0cd192d06ae329400","datavalue":{"value":{"entity-type":"item","numeric-id":5606564,"id":"Q5606564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q647415$23036B9C-D2CB-4337-81F7-E24D9C4A8D45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ecad7e3a66fab191e019a8a510f149f570a5011","datavalue":{"value":"10.1007/S11225-011-9351-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q647415$C0B049E0-79A5-4BFF-B03D-75A51C22D242","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4167a811cb83dbdc683fc72d9fe40b45b5b4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5419894,"id":"Q5419894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63f568c20327577952e5277e111bef2ee3a781a","datavalue":{"value":{"amount":"+0.9062923789024352","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":"Q647415$50078E97-D0EB-477F-90DA-CCFA6CB6AD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5dd6b647172fb31330d2799ba2216bfd399843","datavalue":{"value":{"amount":"+0.8813474178314209","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":"Q647415$69AAC5DF-506D-43F1-B22D-7851AB8D5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e01bfd266a2094df0dacb664d9364cc8db85395","datavalue":{"value":{"entity-type":"item","numeric-id":4440575,"id":"Q4440575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4135c25681fcee46bbc9e9e6d61ebb7dc988eb","datavalue":{"value":{"amount":"+0.880281925201416","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":"Q647415$EC9A9C7A-6101-45F8-B390-9524913F60C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e88504ea4ffd346cc11f0aa62a19899038f4fdd","datavalue":{"value":{"amount":"+0.8604892492294312","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":"Q647415$53EB2377-EA10-4503-9842-8FB0294674FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d68d615a3823acd7cd0feec648a8c633b3ce122","datavalue":{"value":{"entity-type":"item","numeric-id":2630547,"id":"Q2630547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de8a6b55f2189d8f864ed1ec684b0c46a1359ad9","datavalue":{"value":{"amount":"+0.8579503297805786","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":"Q647415$D2D49B10-13B8-4DD1-9173-51C6DB866845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:647415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:647415"}}}}}