{"entities":{"Q5030190":{"pageid":7059767,"ns":120,"title":"Item:Q5030190","lastrevid":54225548,"modified":"2026-01-26T12:16:13Z","type":"item","id":"Q5030190","labels":{"en":{"language":"en","value":"Termination analysis for partial functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474227"}},"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":"Q5030190$A512DA3F-0A1B-4A14-B543-72F93A737321","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78d86425fd061d84de53ce5604a764ec47be5369","datavalue":{"value":{"text":"Termination analysis for partial functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030190$30A2DB85-1130-40C2-923E-5A478B26739B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b63169073e9ac75946e71468c7c4df30e4379c58","datavalue":{"value":"1482.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030190$623A253A-8E07-42A8-B0BC-3F7F875F5097","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cb1b2f1dec147265c486c65a781e0a749589fa3","datavalue":{"value":"10.1007/3-540-61739-6_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030190$11EBB2B6-56C6-4A01-B86C-35491B18B9F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90f965fb5114ef3cf5612ce5baf540a2abb96515","datavalue":{"value":{"entity-type":"item","numeric-id":1818070,"id":"Q1818070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$9BAC920D-A8CD-46AC-8C36-DD6DA32CF15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$ADF5C6B3-AC46-4443-BA54-6FABFA5482DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$E07F426E-B3AB-4D0F-A555-3F948F9E9300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030190$F17A1916-18CA-4A7C-94B9-DDC08CCA77D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030190$2445EAEA-F3D9-4F92-8A63-4B49B1BF7031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4facc4aba83b82f42407d3d4503d898a71e6f2d0","datavalue":{"value":"7474227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030190$A4D82685-AB32-42C8-9DE0-E85CE7DC36A5","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":"Q5030190$2D47E759-8894-4470-B383-B8A6394BF16E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afbe6f90c1f2af7accc57ab50b543f5fdc1c7560","datavalue":{"value":"https://doi.org/10.1007/3-540-61739-6_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030190$1386B393-C04A-46AC-B7A2-11F83633A7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7f455839c71becb210f113dc5216f26e5724d96","datavalue":{"value":"W1633340509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030190$75D38130-587A-45AD-8491-0C0ACDA49ECA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$48541A1C-7606-4CBB-A3E3-1AABED333B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc53b0eee394db9b3b49fbcb3d5a82b596aa7283","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$A45F4E97-E69B-41BB-B34D-427F04278D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db943a7e4456eeccf0929a13443d57c6a7880521","datavalue":{"value":{"entity-type":"item","numeric-id":4846999,"id":"Q4846999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$14353EC1-04FB-465B-A25A-98DBA9111494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5895fe8c663874ec5dc3c8cfbb2574a6b301c3","datavalue":{"value":{"entity-type":"item","numeric-id":4305628,"id":"Q4305628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$C104F966-F4D4-4C85-B714-E1D39837A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce917b966191fcc55cb06979ce350d12396960","datavalue":{"value":{"entity-type":"item","numeric-id":1188722,"id":"Q1188722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$A10D475B-2C57-43E9-A2BB-588A224205A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1a7331f376ea15398c1605947b536169a583b2","datavalue":{"value":{"entity-type":"item","numeric-id":4895544,"id":"Q4895544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$CCDC5442-D550-4E19-AC88-B7C9F251EED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$CB04CE25-7D6C-49A3-AF16-7F9EE76FE8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e002c7703a7e63f8238d4e7c16ac6a5af026e65","datavalue":{"value":{"entity-type":"item","numeric-id":3862437,"id":"Q3862437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$CA58F99E-728F-47A7-865E-89CBAED67B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e14d4e3a2bdd0eae4ebd276c697618c997d47c0","datavalue":{"value":{"entity-type":"item","numeric-id":5055845,"id":"Q5055845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$B5FB365F-CD91-4921-8FF6-834E4301C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$7E11E251-A082-4AB7-AAA9-5E7400A672CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df99d010c323d1ce4719d0c5115c3a289e30a204","datavalue":{"value":{"entity-type":"item","numeric-id":1107510,"id":"Q1107510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$43B32766-4F8E-43B4-980E-90E052B04DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$655B04E7-53D3-44D9-A613-0DD12DD17CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb40eaffa350ac2f00c7522e92d2e0a632635b28","datavalue":{"value":{"entity-type":"item","numeric-id":6488570,"id":"Q6488570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030190$642A535C-A248-41DB-B323-AAF138582448","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29821f0ff4fac8dafe88128c2be8c42705b9301","datavalue":{"value":{"entity-type":"item","numeric-id":1818071,"id":"Q1818071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b916bca7d484e231dd08ea855af4aadf5ade2d4","datavalue":{"value":{"amount":"+0.9143210053443908","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":"Q5030190$7BB12A13-A682-4A04-A94A-DCC6C99CB973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2eb56cc41fa83e1e7ba26f473e4ca812a7f31f","datavalue":{"value":{"amount":"+0.8040375113487244","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":"Q5030190$E1080417-494C-47E8-9C18-CECC73C49B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874c06c5a9c268f90ed41d2dab1c0ebf5321057a","datavalue":{"value":{"entity-type":"item","numeric-id":4499242,"id":"Q4499242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ae35ff96ab6757630aad9142a13be1d3364f9a","datavalue":{"value":{"amount":"+0.8026010394096375","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":"Q5030190$AECF6B48-79D7-4837-965B-B2EF6F6DEF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88879c46a7f558249a43089f475d888e6763bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2726244,"id":"Q2726244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b22855aa215efc0eb2a8995e7fe20b95e90ce08","datavalue":{"value":{"amount":"+0.8006607890129089","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":"Q5030190$12DEDF6E-45B3-4EC2-B259-3BB34D8434A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72412cf213d0a26a443d290b652adb3dd8876c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54a134a0bf0a8f4b114c1951f7d4828d9e08d86","datavalue":{"value":{"amount":"+0.7893723845481873","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":"Q5030190$CC3DBCD1-44E1-46A1-9D49-2D8955D7C715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030190"}}}}}