{"entities":{"Q5408192":{"pageid":7437766,"ns":120,"title":"Item:Q5408192","lastrevid":58556781,"modified":"2026-04-05T18:01:05Z","type":"item","id":"Q5408192","labels":{"en":{"language":"en","value":"Linear usage of state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6281812"}},"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":"Q5408192$08D24707-F553-41FC-82AD-50C50640ECA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0b7434a27c38e9aa9e0e9a190f12f1e80685d34","datavalue":{"value":{"text":"Linear usage of state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408192$F4DB63C8-5D14-450E-AC38-AD5B7C8FE875","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"869fff883bfc6dded3eb38828af3527e63006fa5","datavalue":{"value":"1326.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$68A3486E-9BA9-4486-B89D-6EA81B2B8685","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d895884bbde034b0c9733d69e28fa3637c22e9e6","datavalue":{"value":"10.2168/LMCS-10(1:17)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$808D737F-29CC-4ED5-8479-933E723242DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa82eac0b0250bbfa834f52e2caf70dbeb3d1337","datavalue":{"value":{"entity-type":"item","numeric-id":952486,"id":"Q952486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408192$C87843A8-7D98-4CBF-BC66-BE59BD16D796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a180f6b8fbe32ff0de946e58b70ddd0c3edf8524","datavalue":{"value":{"entity-type":"item","numeric-id":265791,"id":"Q265791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408192$F4CBC4F5-47F9-495B-A792-15CFDA58ED0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408192$F6AB845E-6ACA-47D6-91BB-E22F1929F363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60577c656d2cbc35a2ddde8286fc9276ce9093dc","datavalue":{"value":{"time":"+2014-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408192$FF40C2AA-9E39-4624-A3BC-0BE686D18E36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"179d9886a88a2d32b6a7e48a0cd512ea35d0045f","datavalue":{"value":"https://arxiv.org/abs/1403.1477","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408192$AC29775D-A131-4E26-AD62-093983C4E8D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$34DDFD12-F5D5-44E0-91AB-BCDC35A25526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$18006835-5B1E-42C4-801A-D639D1EC3993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$79D37647-D63F-47F6-ABF0-80A8B0DFE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$B7F179DA-4969-4975-AAFF-D93250383E5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d4c962f5973beaf268758dc84725e034b1250e8","datavalue":{"value":"6281812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$A02A7D83-314E-4687-86A7-32E77C79B974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f7f998690cb4873533b09e076d30b45370f48f","datavalue":{"value":"linear type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408192$616BA0D0-BEE6-4BC8-907B-58C33F04ADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408192$2DD3E7CF-C248-45E3-B540-D0F488A66E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408192$3DB202D5-5C2B-4704-A14E-0FF156E6B97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408192$0DAFE5AF-F61F-40AB-9E46-4195166DFB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4562f0fd995d557f4751e6f3c5888fc0f4f4d672","datavalue":{"value":"enriched category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408192$8AB8A531-D2A3-416B-A13F-3CBA1363E6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b93cf8fb649c45fad6c9f0c0ac5cfe9d6085ea5","datavalue":{"value":"state passing translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408192$8A82EFC6-0B8B-4A95-B13C-87232C9E96AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f900c00b9c1039bd7128859b5e56ec82deed0417","datavalue":{"value":{"entity-type":"item","numeric-id":20342,"id":"Q20342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408192$6B6BE493-8DE3-44CA-AEEF-3308028B4137","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":"Q5408192$60182328-D1FD-4AC9-9305-31E16690931C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8613c971723bec29ad4e2c8d07bac80246fe2995","datavalue":{"value":"W2050628956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408192$0135BE41-A052-42F5-838C-23AD4436E98C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db61c7393564eb432c03397a4f482858cd4b9ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3090876,"id":"Q3090876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37600f130b3fe219fb624bd424f7c9c0210b2f8","datavalue":{"value":{"amount":"+0.9723763465881348","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":"Q5408192$E288FA6A-20A9-47AD-B9D3-F08400BDFFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a894c481ed063dd4f63e29a87757bf60d5fbe2","datavalue":{"value":{"amount":"+0.8191341161727905","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":"Q5408192$471E3F97-C13A-4566-A7F6-6421718FFEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8367100144a950e463989395445e3bd96528e961","datavalue":{"value":{"entity-type":"item","numeric-id":3557841,"id":"Q3557841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b792ea0baeb2043afdfa577716d7e7ead8787f3","datavalue":{"value":{"amount":"+0.8116617202758789","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":"Q5408192$E75D3FA8-35BA-4BB3-A611-1D9B88386701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea79bc2622693809ae52968ab411a2ff3d33530","datavalue":{"value":{"entity-type":"item","numeric-id":2937687,"id":"Q2937687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f55b29450ddfc87e309457c1b909bd5577b2f2","datavalue":{"value":{"amount":"+0.804916262626648","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":"Q5408192$2C892D93-4AED-459A-A008-5EC601EBEFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02797a6cc347b25d159ab3e6dd5f23f4fb301f10","datavalue":{"value":{"entity-type":"item","numeric-id":3166223,"id":"Q3166223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f3f28adc4b221381820a283663fddc592b3bf3","datavalue":{"value":{"amount":"+0.7879251837730408","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":"Q5408192$7F4520B0-5F90-428E-8078-7F5EE6DEF2D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408192"}}}}}