{"entities":{"Q4145461":{"pageid":6175061,"ns":120,"title":"Item:Q4145461","lastrevid":39409722,"modified":"2024-12-29T05:55:33Z","type":"item","id":"Q4145461","labels":{"en":{"language":"en","value":"A CLASS OF INVERSE THEOREMS ON RECURSIVE PROGRAMMING WITH MONOTONICITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3573630"}},"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":"Q4145461$576FA576-0DC0-4553-A9EF-F7376CFB02D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d890ce91b95eeb51b3155f500041c7c5181ff5b","datavalue":{"value":{"text":"A CLASS OF INVERSE THEOREMS ON RECURSIVE PROGRAMMING WITH MONOTONICITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4145461$137DBE73-8447-4129-9B92-7D36EC60F2E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"312cea734eec2ba36106b69ec125429293414242","datavalue":{"value":"0367.90124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$42F55239-0596-4712-A002-BAD49BD29404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"730292d4db5552f704dfd57e490c391bf7e9174a","datavalue":{"value":{"entity-type":"item","numeric-id":165929,"id":"Q165929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4145461$5A6FBA1C-BE81-4A1C-910A-498EE88EE9E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fa878c96f2b674452e2190f5a1de9b1b8692d3","datavalue":{"value":{"entity-type":"item","numeric-id":70472,"id":"Q70472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4145461$D8A64172-9426-49FA-9E0A-7A1927E2B8EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4145461$4FE97E33-450A-4694-9DA9-8DDF42A06925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dc0be147dc793dec5b4d43620512b87e8c947ec","datavalue":{"value":"90C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$07F2DD96-D7CF-4CBB-A384-1517A3300A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1dfb8d8aba4854afdcac1afd7e652cf7e180f0cd","datavalue":{"value":"49L99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$E98BC0F2-C370-4BC5-A6C2-4E1AB62F7D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$CEB22412-B7D8-4641-9886-2300651BDE2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a6401b3c1287448d6646494fd96a425605fb6bf","datavalue":{"value":"3573630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$1D5CD278-E2FC-4FB1-9D2D-441777074497","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":"Q4145461$D6569938-CD04-4902-9C18-3AE2B2005BF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bf70075f49f812fa962368565510568b986dac6","datavalue":{"value":"https://doi.org/10.15807/jorsj.20.94","type":"string"},"datatype":"url"},"type":"statement","id":"Q4145461$B74CAD57-8866-48B9-807C-B724B2AEDBDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78bee871123a7e0065c3ee75b817d905cef8303e","datavalue":{"value":"W2733563209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$153699AC-F0DE-42E0-948D-B910073A54B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"428b226816da72c8725bcb6a348285cd5443883c","datavalue":{"value":"10.15807/JORSJ.20.94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4145461$8D6D5352-DEFB-4EE8-9296-ED381204C3A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4145461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4145461"}}}}}