{"entities":{"Q6587252":{"pageid":14198408,"ns":120,"title":"Item:Q6587252","lastrevid":55725667,"modified":"2026-02-17T21:45:15Z","type":"item","id":"Q6587252","labels":{"en":{"language":"en","value":"A step-indexing approach to partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896671"}},"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":"Q6587252$C80C3C7E-794E-4554-A539-A7D69C826434","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48899a9f024895a845badd91c9c3a195c901069d","datavalue":{"value":{"text":"A step-indexing approach to partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587252$6273AD37-1400-400C-A4DB-1009396E7C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbaae6c22b446e8a2dfd66d0aec9dd7fa8d1709","datavalue":{"value":"1542.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587252$E00BDF9D-C23C-4855-8D34-34B44900F816","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af20b0d8acc20c91b4894221af17f05ef3dba54","datavalue":{"value":{"entity-type":"item","numeric-id":202495,"id":"Q202495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$59095746-B661-45BC-9C32-628807A29F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$E792C83C-9AC9-469C-95F2-533DF63DF48B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587252$12FD9F8A-9860-4979-BCFD-12D42DB8FC32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587252$5BC55EEB-2A7F-4AC0-AE73-C30D5E9B9558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587252$CE307347-3322-4EA9-814C-B93E46781F26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c7aeb6bfc3bdfb76cc2dbaa269f228051323f49","datavalue":{"value":"7896671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587252$5666000A-9697-454F-8F80-590A658F5AD0","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":"Q6587252$4469617B-F976-4C0F-AE14-39CD49495187","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$1FA8AD42-597D-4FE7-8749-0A1FC7690465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6926d9a2864657c63c8ba6d81f03198b036942","datavalue":{"value":{"entity-type":"item","numeric-id":1595929,"id":"Q1595929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$C88970CB-3EF6-4D6B-9188-2BEF8E149A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0278a622341c2c3ea684f66af68a5b07b0b894","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$432C1B4C-3069-4356-84CC-6FEFF9E322E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$62A2C0B7-C549-4CFB-ABE9-0B8EF9FDFBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587252$34BA3214-682A-48CB-9186-071B497BC085","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e18dfe49f17b5e316b29c16224c1c6c1b41a2d","datavalue":{"value":"10.4204/EPTCS.114.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587252$61327946-79DC-4F38-B314-59DCA82AC343","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f0ffc9de80989a7f171a039436d7330a9fabc7","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60023e8192563934bf7606d44a4be957e0ac183","datavalue":{"value":{"amount":"+0.8345591425895691","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":"Q6587252$3171FA9C-D17C-4DFC-9645-B8FF8FF3C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f4d75426728791839073e406588e401792ee94","datavalue":{"value":{"amount":"+0.754688024520874","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":"Q6587252$EE792CFC-8BE2-4F5A-A072-0A44F62351EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63392152ceac32be176b948e503f3e589a506710","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504bdcd063abc1ad87d88fe919d3b2f583703027","datavalue":{"value":{"amount":"+0.7421497702598572","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":"Q6587252$87D1C2CC-F26D-4004-95E6-EE76AC7E79E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33dbf764138f812d35e37589bcb282274e2082","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20317e87383d3a0e331e6f0167b7cf056bedef87","datavalue":{"value":{"amount":"+0.7328470945358276","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":"Q6587252$6CB4ED14-3D4A-4626-9EB8-E94EDEB45C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14390bb381c2466373902e6a7612c72c7a54f6ee","datavalue":{"value":{"entity-type":"item","numeric-id":5741556,"id":"Q5741556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52261b313f035ca0b277a263dcbf944c07c3319","datavalue":{"value":{"amount":"+0.7190834283828735","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":"Q6587252$304439CD-B179-4278-90CE-E7D455CAA98E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587252"}}}}}