{"entities":{"Q3487614":{"pageid":5517514,"ns":120,"title":"Item:Q3487614","lastrevid":49405285,"modified":"2026-01-07T02:45:18Z","type":"item","id":"Q3487614","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158915"}},"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":"Q3487614$A7DFC14F-52FC-4296-86D2-9A83E6C2DB3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b29eba335e43be149a66045d662391fd58b3759c","datavalue":{"value":"0706.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487614$8E710547-E97C-429F-A92C-98C4AF8FEF0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3487614$85DC4FFB-A011-4D4B-A1D8-8E813E7A97C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487614$C9530272-E30B-449B-9C3D-8E50580E6D1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e891488722fa0373736b2fde7769250f14b0dd92","datavalue":{"value":"4158915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3487614$03FEE31C-BE00-41BA-9DF5-E3A2012B819B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81844615522bee4dc090db35bafcbea1a1a27ac8","datavalue":{"value":"many-sorted Kripke-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487614$F8B678F2-8C1F-421D-AB1B-6802A4864EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d5e78d63bde44f9040c4d75d260fefa75724da5","datavalue":{"value":"intuitionistic equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487614$A481C07E-FDAA-453F-91F7-F1E8C0C502D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9543e1696aeda8e9c3904ef4bb1c495b096f39","datavalue":{"value":"many-sorted algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487614$8D16FEAD-B285-4BD3-B581-EF5D8452A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb57ce7daa1af71eec497dd7905e407f0c8747d1","datavalue":{"value":"categories with finite products","type":"string"},"datatype":"string"},"type":"statement","id":"Q3487614$4858575E-4AFC-4179-BFE2-B405630F89CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f97442067587f34561e1b330380ce554ed3a639e","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3487614$EE37E834-698A-4780-A86E-CC2CA833D434","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":"Q3487614$CB99F5FC-D03C-4AC7-B077-383360DEB13D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b50dd622428bf6cf7dff86ff77eb487d405e83b","datavalue":{"value":{"entity-type":"item","numeric-id":4396591,"id":"Q4396591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503f5274c6b025313b514a5361ad9ef47c0d01ea","datavalue":{"value":{"amount":"+0.8061365485191345","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":"Q3487614$5C1ECBC1-EB0D-4C6F-A5A1-9032A2B218F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168d084ad12cd73107baedecc8132eef4b9f5435","datavalue":{"value":{"entity-type":"item","numeric-id":3015731,"id":"Q3015731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faf9f4bb560da1b6d40532c83bcab820275aebc","datavalue":{"value":{"amount":"+0.7916384935379028","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":"Q3487614$EC0AEC53-924C-44C1-BCFB-CD0E36A0D01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9d6e244271c68858df3d0ee99c0bd77be8e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":4020489,"id":"Q4020489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b27baaf3e1f6d6efb29b70b7b090aa46490431","datavalue":{"value":{"amount":"+0.7893279790878296","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":"Q3487614$61912925-2D1F-47E2-A92B-D2A3F140FF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0711a725ffde715fac1a950401990cd6cb1daf68","datavalue":{"value":{"entity-type":"item","numeric-id":633806,"id":"Q633806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ee1deb9d6005b872288bfee9a52af6b3469405","datavalue":{"value":{"amount":"+0.7840229868888855","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":"Q3487614$F4FA9572-592A-47FB-BC31-EB37A6FD5892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052b20b34a4cff758541b1dc13111d3a7b51156e","datavalue":{"value":{"entity-type":"item","numeric-id":3695436,"id":"Q3695436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09286224faf8ee2234ea84c3805699cf527db428","datavalue":{"value":{"amount":"+0.7795933485031128","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":"Q3487614$4A1CA394-AD44-4B78-920B-25F89BCC9C29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3487614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3487614"}}}}}