{"entities":{"Q1401946":{"pageid":1412686,"ns":120,"title":"Item:Q1401946","lastrevid":48157042,"modified":"2026-01-03T19:46:40Z","type":"item","id":"Q1401946","labels":{"en":{"language":"en","value":"Linear logic and elementary time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1967134"}},"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":"Q1401946$8D4DFC36-E8D4-4E2A-878D-E3935B79CE28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"843c0ee3f217fbbd9f0a1cc16bb2f66fd47f34d8","datavalue":{"value":{"text":"Linear logic and elementary time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401946$EA8179EF-6CD9-47F3-B267-009E65154FC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7e3b8b5e8ccd1e10c8363653630d71009cffb61","datavalue":{"value":"1019.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401946$3155F707-2421-4645-B9D1-F6827095EC31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98ff5a9f4c81f416dc44d802222d78dea211b498","datavalue":{"value":"10.1016/S0890-5401(03)00010-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401946$06D0E5F1-B742-4013-A8A6-D9768EA8871E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93999ca0789e250fb0db50708f38a31742036836","datavalue":{"value":{"entity-type":"item","numeric-id":550252,"id":"Q550252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$081FED42-A5AE-415B-B97C-AE3D03FE1835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4525c955b47badf335bb39d178a4075baf3a0250","datavalue":{"value":{"entity-type":"item","numeric-id":1345899,"id":"Q1345899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$D0329EF4-E1E6-4082-A9CA-F4D717B59B21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$DEDCDBB0-1376-4BC9-9D15-FFC51B0520F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00da8c2f12be99ff7b97d3f72ebacffed8cbacef","datavalue":{"value":{"time":"+2003-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401946$DE85147E-3F43-470C-8EAA-95EFE876C3C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401946$7C65F36B-3829-4F7B-B471-0B65C054C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401946$0A7CB33E-8689-46C2-8E69-DEE77B4595F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4bbb893a5068994dd9d8e857cefa322ea845f71","datavalue":{"value":"1967134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401946$A9CA0AD4-9C04-48DE-8E2C-D91AB7DBC35A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946cc5bfb2854e7b4a827b1e352d6fb2debc4fdf","datavalue":{"value":"elementary linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401946$B374CF09-6661-4D71-BDC1-1B3F5CCB77F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fbe180e051a3523b22956f29240abb78360b09a","datavalue":{"value":"elementary recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401946$37818304-4FA5-43B1-84F4-EE64C1A6E9C9","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":"Q1401946$AEF8FA60-6BB7-49B7-9016-543DF5666758","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$F1BD5393-B758-47AF-A924-93A31641B108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeee92425b79f3aa5205156f131903f418c02c38","datavalue":{"value":{"entity-type":"item","numeric-id":2708316,"id":"Q2708316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$0A68F7B2-E617-4520-B2C4-CDB413C282CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a553fedd51b2b7ac5a3e7474152ecb075ea6aed","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$664FAF64-88E3-46F3-94F0-5B06A9B6266F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$75359287-591A-4E72-9AD0-51319ED05D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$F70FB55D-9105-489E-8891-0CF0C6629179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$DA357B71-62AF-44C1-A807-66320376F420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40effec42fc136589a0230348a43d1737f16937","datavalue":{"value":{"entity-type":"item","numeric-id":4222893,"id":"Q4222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$6B682090-B3E0-4BF9-8197-C2228A31A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3961712aa73d0d7e49904f6e1571dab96fdf8ac4","datavalue":{"value":{"entity-type":"item","numeric-id":3325707,"id":"Q3325707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$81AB116E-BA01-40A3-9E1F-80E439F09DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"011cf84c3c30d491c786f660fdc3c21d23243ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1398477,"id":"Q1398477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401946$B92B4BB1-FB8D-476E-9630-D88065DD5F90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90fae54dd549ac45044ad6b23c7e0d167b57d6db","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00010-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401946$6FF8730A-5736-414C-AB4D-A5B66982664C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"886f0c3e9b21c7831efe821a33646538421a0c54","datavalue":{"value":"W2106173595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401946$50EE96D6-B487-447B-8B72-CF3474889C86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a8524c4fe28afdc261acf1e7d44211fd10cc7","datavalue":{"value":{"entity-type":"item","numeric-id":4222846,"id":"Q4222846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202376b8d2bfb63ce322c37d828a95b74e232a2c","datavalue":{"value":{"amount":"+0.8413596749305725","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":"Q1401946$0426FF61-160F-4640-A389-FBF28D9EF62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71040d0b8e5a0ec86aa50e54196be949296b6892","datavalue":{"value":{"entity-type":"item","numeric-id":2343123,"id":"Q2343123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1c27f62cf5161b40cc05b9a7beae45382c14e1","datavalue":{"value":{"amount":"+0.8398501873016357","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":"Q1401946$BF5F40E3-8E82-46AE-9337-32A22F9D1BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d211143a26989dee2e168f4ecb882f905bdb07c","datavalue":{"value":{"entity-type":"item","numeric-id":1989326,"id":"Q1989326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7313f6d5f6c7c633c392d55f61e7357ca137574","datavalue":{"value":{"amount":"+0.8391208648681641","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":"Q1401946$B44A6846-F592-4E0F-A225-11E0F6132E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90cb267d11e24349bb9f2dfd2f5edc94b76cae13","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d66eb8e4f6b0545af6b04de329f861f7575b1bf","datavalue":{"value":{"amount":"+0.8215881586074829","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":"Q1401946$A4323C70-F13D-4358-9A24-28ACFC4D9323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597c3fac56289fce62c29a176a72264ebd35f91f","datavalue":{"value":{"entity-type":"item","numeric-id":3419785,"id":"Q3419785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c13468123e48b469dd8ff49d7c54acef0275ae3","datavalue":{"value":{"amount":"+0.8189016580581665","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":"Q1401946$D7FE9AAF-74F8-4F61-A429-BB4B0D189BA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401946"}}}}}