{"entities":{"Q2133176":{"pageid":2143919,"ns":120,"title":"Item:Q2133176","lastrevid":55407298,"modified":"2026-02-17T15:47:27Z","type":"item","id":"Q2133176","labels":{"en":{"language":"en","value":"Deriving logical relations from interpretations of predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7515963"}},"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":"Q2133176$261B9262-48DE-4027-A134-99E9656B5BCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3601f15afd3d818a9cd6dfa535d4eb5f46ad143d","datavalue":{"value":{"text":"Deriving logical relations from interpretations of predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133176$63EB2865-F284-4ACF-903B-C89692477A8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da894ab5287ed2035a74ff51933b0ddd7c3245b8","datavalue":{"value":{"entity-type":"item","numeric-id":175557,"id":"Q175557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$A4BD7476-05EA-4BD3-A139-549777434953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd8979e1a685765dc1198ac350f0841f1b80717","datavalue":{"value":{"entity-type":"item","numeric-id":265825,"id":"Q265825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$316B68A3-0D5C-4299-A43C-294B2A97B3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$DE31F5B9-6319-4431-B93B-84590AF6C19D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2133176$6A33069B-0048-4B36-AF2F-912A992EECDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133176$FF217177-3BA3-4110-887C-FA7D1DD2C64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133176$B3A53674-A5FE-419D-A0D5-F030F9478D77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"483f8104a8a8397dc3871d11f5cb3f6fc32bc2ff","datavalue":{"value":"7515963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133176$83E85357-E62C-4070-8640-BAE68C80819A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133176$2932C766-2E15-45ED-9FCB-C6BE9A94C1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133176$325C7E51-422A-4CA3-97B0-E323883370AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d03b8a8130479923e5c0193cc5c7481d82c09e4","datavalue":{"value":"categorical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133176$72CA6517-7F58-4C2C-8D7F-06830173FB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cbe1347a49a4cefa9dd21050ac34ef520181ae0","datavalue":{"value":"monadic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133176$CF44F420-8AB1-40B0-A32D-4E456254772D","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":"Q2133176$4064E7C3-C223-4BDB-BABE-A82F3868AC86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3129bbc54c6fe5354907025649d6772bfa1ee7c8","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2019.09.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133176$C3DAE637-A1BC-4F3D-9932-588BF7AF82ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ace17a41dc59c27ef095991960aeebcc8ad61dfc","datavalue":{"value":"W2992472379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133176$BA741B2F-C044-4C26-B844-040FFF2E033B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"949ed591c7016418d626b7309311942a825c12ea","datavalue":{"value":"Q113317350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133176$656B6CD1-F95B-4050-8BD4-83742D5F0421","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b736495aea3314de1463970f2749c04ad07802a6","datavalue":{"value":{"entity-type":"item","numeric-id":1193588,"id":"Q1193588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$1AEFCF45-BEC2-45AA-9086-719793559B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfb97b4e9fe2287e411d8729932843ea78fe45","datavalue":{"value":{"entity-type":"item","numeric-id":3586050,"id":"Q3586050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$01A5CF4D-3471-4DE7-A02F-61220036A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70310057f6e65c7bae9c8a38aad2028890ef7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$77EF63F7-FAD5-4CF8-BB5B-7C2EB0C05622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17807d12117180296370bd9e02d3095bfb068fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1295672,"id":"Q1295672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$61B10240-8EC6-4D7D-8FA8-0ECD56B7C31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0960af88a219be75a74665ab7538b65eed52d581","datavalue":{"value":{"entity-type":"item","numeric-id":280200,"id":"Q280200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$9E626F8B-F927-48FB-896F-8225ADBF820C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$0B6C1442-9D51-49C9-A540-5B22115B2B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664f0664161d2d505717c1e6da3b7a05cb67f8bf","datavalue":{"value":{"entity-type":"item","numeric-id":2134832,"id":"Q2134832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$EEF795C4-68BF-42AD-8AC5-A577101302A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce1b2121fb39961209147ea9074ea26e7b6ca52b","datavalue":{"value":{"entity-type":"item","numeric-id":5394571,"id":"Q5394571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$E99E66E2-D3D1-4A63-AA69-18A68093EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3403dce4e0e5c6922c01329aaf00bbcd05ac3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$52F8E0B2-3E0C-43AD-A68E-5F2EEB8D51FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$045BF74E-E215-4C10-BC74-330C939EB81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad36ee1e9b536ba43cedd35d7459acb4e4a8d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133176$96F8425D-7515-4951-B06C-FEC155954BC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b665036e027cd050cf82526cb534468ddd67f63c","datavalue":{"value":"10.1016/J.ENTCS.2019.09.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133176$287F4CB1-012C-4E04-9967-2A55BDEE304A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da477c2c0703025ba84d10856f632d6901b6c835","datavalue":{"value":{"entity-type":"item","numeric-id":5466518,"id":"Q5466518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e73b626c09615d26d4cce955d98b6fba8edda9","datavalue":{"value":{"amount":"+0.7606373429298401","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":"Q2133176$1AFE7BEA-3266-4A1B-B547-F1CC2D0E6B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30a69e1046d8e3ce13b6bdcdccfd7aadc0cb67","datavalue":{"value":{"entity-type":"item","numeric-id":1854557,"id":"Q1854557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41193db9f3b19a490f958d80693b364bd760bff3","datavalue":{"value":{"amount":"+0.7275123000144958","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":"Q2133176$4D8A1B12-217E-495A-925A-6257D3770245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c8fc29a8abd66aec0f889dccada072e7d5d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3545276,"id":"Q3545276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1772c5d73ce7e77996c90779b890328522a1670","datavalue":{"value":{"amount":"+0.7269592881202698","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":"Q2133176$8C3F82EF-0F17-445C-8B00-D59B4ECA8499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959832de3369a3e6ac2ca60ca2a2f962f8ee1ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4411847,"id":"Q4411847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97bf414ec0f80ba1f11255a1f2730aaf5ba99a6","datavalue":{"value":{"amount":"+0.7229632139205933","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":"Q2133176$5973AB24-293E-4713-8B91-83355CF21F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0593df3e60a45ff9cf629a90b04e3efab2b06c","datavalue":{"value":{"entity-type":"item","numeric-id":2754136,"id":"Q2754136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17c2d28d9f3ff405677d0c95632535d6e145c44","datavalue":{"value":{"amount":"+0.7208060026168823","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":"Q2133176$F77161F5-429A-41CE-AE96-79DE50FFD579","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133176"}}}}}