{"entities":{"Q6160747":{"pageid":13295628,"ns":120,"title":"Item:Q6160747","lastrevid":55453213,"modified":"2026-02-17T16:42:58Z","type":"item","id":"Q6160747","labels":{"en":{"language":"en","value":"Additive types in quantitative type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691327"}},"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":"Q6160747$FDE00125-68C4-42AE-90FD-54C6EE865110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f94afc923f2cb393575fa36aefdce2ee16f8bade","datavalue":{"value":{"text":"Additive types in quantitative type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160747$C0A523FC-C57F-4F17-9FD0-D2D5393A7AEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73d155209f21756c20655209bab5835e85d3353e","datavalue":{"value":"10.1007/978-3-031-15298-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160747$A3BD3E4E-6F0B-402F-B82E-710E32D608CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36b7b86e26c7d84f8c2291ed788ca5b01eb17501","datavalue":{"value":{"entity-type":"item","numeric-id":832101,"id":"Q832101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$EE304823-257E-4E37-81C9-C3FA6B7DD851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcd53588aeea171959f1614ff10e460b84ff6843","datavalue":{"value":{"entity-type":"item","numeric-id":1859617,"id":"Q1859617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$BC16C2F1-BACF-4C25-A238-127172C207B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$37F66495-0CCE-4F72-BC9C-C343C4BFD806","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160747$15807749-C4EF-434F-A769-B7D26A0CA4BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160747$E71A79BC-F420-40A6-8515-7D3F696729C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27ac0a30ac95e354a3bc60f59d020c38afd4a232","datavalue":{"value":"7691327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160747$C52A1B40-BCC3-4BA7-BFA5-07FD65CEAEFA","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":"Q6160747$18DCEDDD-1CB0-4449-AF82-347EE25D424A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d01c4bfec044faa70fe755b6c1760205af372c37","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15298-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160747$449DA8BD-D1B5-4859-9307-FCB47F0540EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18103fb1f79094fb5a5dc709ed3c65e0dfde6d4f","datavalue":{"value":"W4297809334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160747$BA2FFF2D-86E5-40A2-A637-5A0C538770A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324ecf1b83629f49a2cf02432ea440e2d5e9d22","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$F902A444-637D-4787-AC49-471542CB09CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$F9E273E9-A977-4709-92B3-52FB1EB63FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354da199dbe1f7391127c09e8d66b9bd98941d08","datavalue":{"value":{"entity-type":"item","numeric-id":1400718,"id":"Q1400718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$EFC39147-96E6-474B-8033-6D8746A262F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eda1cd2309f719dc08cfd443fcd1e31d414564b9","datavalue":{"value":{"entity-type":"item","numeric-id":2819785,"id":"Q2819785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$CEFEF816-BFDA-49B2-A83E-5AC5A62FBEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f881888043ac0e9ecc9e40d0e4e4f2c5675c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3002481,"id":"Q3002481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$949A2BDF-B449-4504-9C2D-8A456E3799EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fc169fa8502374ec38a912feacc8828421ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3188289,"id":"Q3188289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160747$7E80EC0D-151E-46E7-A3F2-789C793C1327","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5bbaf4ac62c9219d9eff9a0184957908b903405","datavalue":{"value":{"entity-type":"item","numeric-id":5145276,"id":"Q5145276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db936cabb5be20e26183ebb22f78d9b2b41b6435","datavalue":{"value":{"amount":"+0.7939396500587463","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":"Q6160747$3181ECF7-30E9-46F0-8E13-B4F32648940C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53db250f96448c2bf0b1f597a6ce0c633359d5","datavalue":{"value":{"entity-type":"item","numeric-id":352080,"id":"Q352080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec0af5590b8ed31480fe0a65250666624fb7cca","datavalue":{"value":{"amount":"+0.7030038237571716","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":"Q6160747$D165C00A-6F32-4050-906A-B5DA9B6D9B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e876500f03f41967051665438252a436d41940fd","datavalue":{"value":{"entity-type":"item","numeric-id":5015212,"id":"Q5015212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc106fb6e8e513549ffbdbcf77878f502fc487da","datavalue":{"value":{"amount":"+0.6986300349235535","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":"Q6160747$3D9FB2CF-05BD-4B02-94B5-5808D5D82BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93df39e136bddf93ce3c701bf8dec5abbb204932","datavalue":{"value":{"entity-type":"item","numeric-id":5308083,"id":"Q5308083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d4fe781cf8af99b5f049d08306b08c2623ff14","datavalue":{"value":{"amount":"+0.6967265009880066","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":"Q6160747$810304A0-5E0B-44E4-AB4F-64FFB8BD0DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60fcf19447e420a5e704897404d2c6dbf3929097","datavalue":{"value":{"entity-type":"item","numeric-id":4219036,"id":"Q4219036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c80f450627a7674a45f920a22f2949a35e081d","datavalue":{"value":{"amount":"+0.6904971599578857","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":"Q6160747$282FA7A3-ED46-463F-90B9-31D2695C6944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160747","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160747"}}}}}