{"entities":{"Q4444935":{"pageid":6474534,"ns":120,"title":"Item:Q4444935","lastrevid":48228697,"modified":"2026-01-04T01:11:22Z","type":"item","id":"Q4444935","labels":{"en":{"language":"en","value":"A Linear Spine Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034301"}},"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":"Q4444935$7E2F9084-4058-4E14-B7F8-F5914DD8560A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e8c9d376ca0d6cd781c3fe4016aea1d507fcbae6","datavalue":{"value":{"text":"A Linear Spine Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444935$86911D7F-2CF0-4F1A-8502-2E612BC10C15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b74bf99d6dcfa0f1def4747f4451b44d02d1434","datavalue":{"value":"1041.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444935$B3F38387-7B86-473D-A852-B3ED4743FBE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444935$DFBD0311-75EB-476A-8852-089AFF4DF2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444935$CAFA9A7D-7E2F-4B5C-9893-07018416B4D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4444935$5B46D2BC-CB80-4FBA-BF11-C71A12A794DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"adfa7e92bfb24b02fe9c5a9734bdf65315d29f9f","datavalue":{"value":"https://semanticscholar.org/paper/0231f1086267ec15ef2afb83b06db0c6fa556e03","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444935$0A1470FA-7E93-4F6E-B491-B6112E4D9F15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444935$CE7D1E3C-6176-4CCC-A85C-28CC7B5DB006","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b865f2eaba3f64cce15cf91c488eafc5bb053f50","datavalue":{"value":"2034301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444935$BB2904C4-4BCE-4413-BDC6-8024553F3693","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ca216c9bb39fab1074ba17a4d77046e86cb96ea","datavalue":{"value":"linear lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444935$90F6AA63-BA60-4DF9-8482-E8059AA1FC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb09f0566ff2a9463277d347ec72a429cd66e17","datavalue":{"value":"term assignment systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444935$7BB46F20-468D-47D9-BCA8-73BDDB3E50A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390bb344a3783ebc49c58f624e034c92defd9217","datavalue":{"value":"uniform provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444935$F1F4C150-13E9-4AC6-BDC4-C27C0F9141B4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444935$CA7D0783-8F68-42C8-8BB1-F31A14DC7024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444935$52124E7B-BEEC-4438-8015-AFE1A148E8F2","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":"Q4444935$D3F0C2AB-640F-4EB8-AC0D-350A73F11976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a9042b3638c28e6ad5fc2cade7c8026d289b9d4","datavalue":{"value":"W1990946582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444935$138B0736-D1D3-4FCB-A9ED-1E6968ED51B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f355ced9df4cd7e8259514ca9c3fc84e6351890","datavalue":{"value":"10.1093/LOGCOM/13.5.639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444935$1F7DD4EF-66AA-4154-8290-E96345C7ABAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444935$7D0C6EE3-DBAF-4FE3-B33C-50782991FA38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05097180c3e5a3860aa112b055140852db4a0e6","datavalue":{"value":{"entity-type":"item","numeric-id":2200851,"id":"Q2200851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea14bfa70a4c97223b437391c60adae534c3efb4","datavalue":{"value":{"amount":"+0.7993227243423462","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":"Q4444935$9BC8DFBD-E89C-4E03-AB67-72781E2DE904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"712576e596f6617f303ee8b32bb91d309c5147b3","datavalue":{"value":{"entity-type":"item","numeric-id":3527292,"id":"Q3527292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c9dcf0dbfc09e73cd5347491f248ff43f14152","datavalue":{"value":{"amount":"+0.7507187128067017","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":"Q4444935$1B63BE15-368D-452F-8311-A35B1F625DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a16229f4d3a11a830a27044519d04bb4f6dd8b5","datavalue":{"value":{"entity-type":"item","numeric-id":5747746,"id":"Q5747746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c679765817dc02b67288c842b7de0154513d965","datavalue":{"value":{"amount":"+0.7486963868141174","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":"Q4444935$847113F6-C08D-43C9-A64D-212D3016D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2239aa5ab68f9b3484bf147d92edfd8505c14590","datavalue":{"value":{"amount":"+0.7471485137939453","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":"Q4444935$70685BE2-157B-446A-854A-A73E961F104F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c61f1043df0660b821c287adfab81436de44a8af","datavalue":{"value":{"entity-type":"item","numeric-id":4362931,"id":"Q4362931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06322bca56b5d539d5577d3ee29caf6b1c63a315","datavalue":{"value":{"amount":"+0.733383297920227","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":"Q4444935$0A79136A-76B6-4C82-B9BB-96F030DE052D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444935","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444935"}}}}}