{"entities":{"Q6149593":{"pageid":13283900,"ns":120,"title":"Item:Q6149593","lastrevid":39729241,"modified":"2024-12-30T17:55:06Z","type":"item","id":"Q6149593","labels":{"en":{"language":"en","value":"Formal verification of termination criteria for first-order recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800193"}},"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":"Q6149593$280DCAA8-D9B6-4ECD-A5EF-9E642E644A6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a8f458fe6f2e7ddce7616fc9f18ea5914fd9cf3","datavalue":{"value":{"text":"Formal verification of termination criteria for first-order recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149593$B3634A9D-7C73-4E4F-9352-260945C81370","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$4842A105-04C4-4DE3-AF72-1F51FD1CEA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$F479E3B8-DE1B-4A8F-906D-D7EFF903BF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1684e6d1ab96f8ce065c335ada648ad924c8214","datavalue":{"value":{"entity-type":"item","numeric-id":1791189,"id":"Q1791189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$36CFA22D-7BB3-4F5B-8B4E-5E17DE71AE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40bdaaaa529951295d888380d74abef1e8b7b8bc","datavalue":{"value":{"entity-type":"item","numeric-id":6099619,"id":"Q6099619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$DB2AEA39-C321-4D92-8B5D-69A68791DBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b92c35f500f268d671c415a02b1967564d5af9a","datavalue":{"value":{"entity-type":"item","numeric-id":287266,"id":"Q287266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$BC48070F-6D96-4FEA-B6B5-EF09A79F72A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3882fe53b2944e00d855fa0a8a693386bc539349","datavalue":{"value":{"entity-type":"item","numeric-id":2102948,"id":"Q2102948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$1D1DD521-6D46-46EB-83AC-777A3729FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f76d8144d80656d3620fc69f9a6bfe478e1dd6f","datavalue":{"value":{"entity-type":"item","numeric-id":1791141,"id":"Q1791141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$00FC2F83-26FF-4DDB-A59D-CBC696F5BE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee6556224e3ca5da795127ab1761434d75945cb","datavalue":{"value":{"entity-type":"item","numeric-id":1799281,"id":"Q1799281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$C023DF67-1BCF-4D5F-8F13-FE3E685CCF62","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$683E5D1C-6440-4F25-9D2E-762C5EC91945","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149593$A1D6031C-011B-46A8-98D2-5F5BC38955FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149593$F61B51A6-0530-47CF-834D-AC5DC8D6DEE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bbd42a53fab4b26eafea5c0539248d403181c9a","datavalue":{"value":"7800193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149593$F31FC7F9-3F53-4C64-8C75-BDF55AC34ADB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149593$4E937846-798C-4089-9132-8BB00C893E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149593$A05FD666-18B2-44B4-B0B6-FE77DE539AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0da5f454ee93abf178081c592ea4b421c4973b6","datavalue":{"value":"calling context graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149593$A4C92F60-06FA-45D3-8F71-188D96A2B249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149593$6B3A276B-C786-443F-A155-9272B3785C83","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":"Q6149593$11868E61-CD40-4221-8D10-B73C9D674CFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cda21fad401a99defa1f83628041a86bc291260","datavalue":{"value":"https://doi.org/10.1007/s10817-023-09669-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149593$3A4CA3C6-056A-4298-9E8D-EF9CEB50D382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8c4a1df6c1c8f8707b9f0959238df915ae66af","datavalue":{"value":"W3174648313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149593$74C0FDC1-E29A-4387-B486-7137F9E66609","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$03D6099E-B299-4CC7-8F58-238CB10EBB91","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":"Q6149593$236D682B-D2CE-4353-9E5E-6743D9CCB7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$FE8D0E0F-4B6C-48AD-8F9D-DF843D795C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$033C2A4A-671C-4BE5-8304-A0BD546DEF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$2EFB1FC0-C4BD-4DA2-AC1E-6963D42CB54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8a0484d56d68801f0437288a1ce7994f7539d9","datavalue":{"value":{"entity-type":"item","numeric-id":3608789,"id":"Q3608789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$F27665DD-78CB-4108-889B-D780D3181262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ebb3f2438fcb1901a3ffa7cdb7af88cdbf38191","datavalue":{"value":{"entity-type":"item","numeric-id":3088004,"id":"Q3088004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$55FF892F-1474-47CD-A556-3BAFBEDFFAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$8DE78BA6-C4CA-4FDB-AF4C-A72BDDAF8C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71712455a619c09bf3f52fa45ff271444532140","datavalue":{"value":{"entity-type":"item","numeric-id":5756741,"id":"Q5756741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$1A58238A-4289-4FCB-A855-98CA400166A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d203aee6c3ddadf3b7142229404c713bd9eb9b1a","datavalue":{"value":{"entity-type":"item","numeric-id":6099621,"id":"Q6099621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$41AB6EAE-F8F1-4A58-8B75-DF831D56C8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8caca7a32b9e3bae7b40dbb8f9b014da12a5e45b","datavalue":{"value":{"entity-type":"item","numeric-id":2102949,"id":"Q2102949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$B399A0CC-68E9-4EE9-A897-7777C457EFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582d7a4fa1b5e1246f64a81b44743630e01d8e09","datavalue":{"value":{"entity-type":"item","numeric-id":1799282,"id":"Q1799282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$81E4B241-760B-4A2D-9BFB-0878856FAC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d929cebef0c67648fc1fc589408abfec82aa3be","datavalue":{"value":{"entity-type":"item","numeric-id":5181391,"id":"Q5181391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$454D05B3-1034-4DCA-844A-17851531B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d24827888f10d2716d86cbc8c78372bd8821071","datavalue":{"value":{"entity-type":"item","numeric-id":4447238,"id":"Q4447238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$AAEB0529-3846-456A-B839-D962A00CB29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee8d08af278d5175f8b634d1aaf204daca32132","datavalue":{"value":{"entity-type":"item","numeric-id":2573795,"id":"Q2573795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149593$79F754E0-6BB3-4BEE-BFE5-D96737D18B58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d117dbc5d4ef450acee2973a875bfb633e8d8e62","datavalue":{"value":"10.1007/S10817-023-09669-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149593$182725D4-34DC-41F8-8E96-80DAD98BD25A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149593"}}}}}